On Mon, Mar 05, 2018 at 06:07:07PM +0100, Ricardo Wurmus wrote: > Now that so much time has passed and so many packages have been added > and updated we could even do 0.15.0.
This should be one of the few pleasures of the release managers, to decide about version numbers and code names! Andreas