On Tue, Jun 28, 2011 at 2:25 PM, Anders Logg <[email protected]> wrote: > On Tue, Jun 28, 2011 at 11:19:32AM +0200, Anders Logg wrote: >> 1. Release 0.9.12 (alias 1.0.0-beta) this week > > I've renamed this now to 1.0-beta for psychological reasons.
Could we make that 1.0~beta and 1.0~rc1? In Debian, the release of 1.0 will then sort as newer than the beta and the release candidate: $ dpkg --compare-versions 1.0 gt 1.0-beta; echo $? 1 $ dpkg --compare-versions 1.0 gt 1.0~beta; echo $? 0 Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
