Ben Walton wrote:
With a new _GL_UNUSED_LABEL, which is cleaner than my patch, I'm less
inclined.

Then please go with that.  It's not a big deal either way.

Reply via email to