>> I'm rather for a new *proper* release. We're already a few months >> overdue. > > I’d second that and would also suggest to check what else would be worth to > merge into master. Okay, fine with me. I merged a bunch of stuff. There's some other PRs that could use some feedback. I guess I'll do a release on Monday (unless life intervenes). Andi -- splitbrain.org -- DokuWiki mailing list - more info at http://www.dokuwiki.org/mailinglist