Re: error: "no newline at end of file"

[Zack Weinberg]

Ugh.  That puts us in the position of having to decide whether command
line definitions "count" as previous definitions for 6.10.3p3.

6.10.3p*2*.

zw