Release 2.23: Ping

[Hans-Peter Nilsson]

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".  Maybe updating bugzilla is a later step in
the release process, but as the branch has been created, I don't
think "2.23 (HEAD)" is valid.

Judging from the gcc bugzilla: "Administration" -> "Products"
-> "binutils" [product choice] -> "Edit versions" should set you
on the right track.  I don't have admin rights in the sourceware
bugzilla so I don't see as far as "Administration" so I'm not
completely sure.

brgds, H-P