On 11/14/2012 05:49 PM, Jakub Jelinek wrote:
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.
You are right ;) Consider it amended to: "We already have issued an error message.".

Paolo.

Reply via email to