In http://sources.redhat.com/ml/gdb-patches/2000-09/msg00134.html , I neglected to mention that vprintf_unfiltered has exactly the same problem as vfprintf_maybe_filtered. The patch in that message will apply successfully twice (and thereby fix both occurrences).