On Fri, 15 Jan 2016, David Malcolm wrote: > Here's an updated version of the above, which the W3C validator > reports as being clean (fixing various "&" and "<" and a missing > end-tag).
Nice - and a lot of nice changes you implemented since GCC 5! > OK to commit? Yep. I was going to flag "misspelled" as being misspelt, but my dictionary tells me you can actually say both. ;-) Gerald