On 10 September 2015 at 20:15, Markus Trippelsdorf wrote: > On 2015.09.10 at 19:53 +0100, Jonathan Wakely wrote: >> Markus, I think your patch wouldn't hurt, and might help people who >> fail to read the instructions carefully, so I suggest sending it to >> gcc-patches for review. > > I did that already and Jeff has approved the patch. Will commit it > tomorrow. Oh nice, thanks.
