On October 6, 2005 15:37, Richard Guenther wrote: > Am I supposed to fix that (without an extra ChangeLog entry?)? > Yeah, that'd be fine. Thanks.