On Fri, Jun 06, 2014 at 01:18:09PM +0200, Martin Gräßlin wrote: > why would the headline need a version number? We need some way to distinguish this release from the following release for users. We need something to put in the headline. Jonathan