I submitted a patch for the website a few weeks ago, but received no response in the negative or positive. Wanted to check if it had been overlooked.
Original patch can be found here: https://gcc.gnu.org/ml/gcc-patches/2016-05/msg00767.html Thanks, Stuart
