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