c++/712: bad formatting of warning message

[Tom Tromey]

>>>>> "Gabriel" == Gabriel Dos Reis <gdr@codesourcery.com> writes:

Gabriel> Craig, please reopen the issue.  In general, I don't think we
Gabriel> should close PRs because of no feedback, maybe suspended but
Gabriel> not closed if there is no evidence that the problem is not
Gabriel> fixed.

FWIW I don't really have a problem closing such PRs.  Sometimes people
simply don't reply.  For Java our rule of thumb is that if something
is in `feedback' for a few months, we just close it.

In this particular case, seeing the `close' message reminded me I
hadn't done anything about replying.  There's no real harm, since we
can always reopen a PR.

Tom