As this bug is user-visible in past releases, it should be filed in Bugzilla if not already there (and the [BZ #N] notation used in the ChangeLog entry, and the bug added to the list of fixed bugs in NEWS when checking in the fix). -- Joseph S. Myers joseph@codesourcery.com