This seems like it's fixing an issue that would have been user-visible in releases, so should have a bug filed in Bugzilla. -- Joseph S. Myers joseph@codesourcery.com