On Wed, Nov 14, 2012 at 05:39:12PM +0100, Paolo Carlini wrote: > + /* We will already have issued an error message. */
The wording looks unclear. Either we have issued already an error message,
or we will issue it.
Jakub
On Wed, Nov 14, 2012 at 05:39:12PM +0100, Paolo Carlini wrote: > + /* We will already have issued an error message. */
The wording looks unclear. Either we have issued already an error message,
or we will issue it.
Jakub