Remove duplicate bug numbers from NEWS.
commit289528850de3c197821e0b670b23980ff8b4d538
authorJoseph Myers <joseph@codesourcery.com>
Fri, 18 Oct 2013 21:00:20 +0000 (18 21:00 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Fri, 18 Oct 2013 21:00:20 +0000 (18 21:00 +0000)
tree5922a43d40b7686b9f7b389bb391d6bc29b05316
parent5abe0682337db0aa15e2adf027d10e5b75b31c5a
Remove duplicate bug numbers from NEWS.
NEWS