Add missing bug number to NEWS.
authorJoseph Myers <joseph@codesourcery.com>
Mon, 16 Dec 2013 18:25:54 +0000 (18:25 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Mon, 16 Dec 2013 18:25:54 +0000 (18:25 +0000)
commitd4950d651a2c055bb615b554a6745b9e5e4c7549
treef99306a446d2748c1612224b041f3a78f4d283fd
parent5764c27f8b0e7e898999bb292689e56c2f027b57
Add missing bug number to NEWS.
NEWS