On Thu, May 31, 2018 at 1:10 PM, David Woodhouse <dwmw2 at infradead.org> wrote: > After a lot of hard work and persistence by Dan, the GlobalProtect > support is finally merged. Thanks! > > I'd like to make an 8.0 release fairly soon. I know I've been a little > bit neglectful, so now would be a good time to remind me of any patches > I've failed to apply. > > I'm pondering using Gitlab for managing issues and pull requests to > make sure they are tracked better. Feel free to file things there; > we'll treat it as an experiment for now: > https://gitlab.com/dwmw2/openconnect Should I then remove the https://gitlab.com/ocserv/openconnect mirror and point to it?