On Mon, Sep 03, 2012 at 09:56:45PM -0400, Hans-Peter Nilsson wrote: > On Mon, 3 Sep 2012, Tristan Gingold wrote: > > Note that the version is 2.23 > > Speaking of the version number, bugzilla needs to be updated: > The "Version" field has a choice "2.23 (HEAD)" but no "2.24 > (HEAD)" nor "2.23". Fixed. -- Alan Modra Australia Development Lab, IBM