On Wed, Dec 04, 2013 at 03:09:06PM +0000, Joseph S. Myers wrote: > You appear to have forgotten the addition of this bug number and 4772, and > 16274, at least, to NEWS.... > Thanks, fixed.