The commit of these patches appears to have omitted to add the numbers of the fixed bugs to NEWS. In general, when checking in a patch that fixes a bug in Bugzilla, you need to add the bug number to NEWS first, then close the bug in Bugzilla afterwards; please complete both steps. -- Joseph S. Myers joseph@codesourcery.com