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