On 06/09/2016 05:18 AM, Martin Liška wrote:
THanks. I've got a few issues to address related to that change -- I've just been swamped with some personal stuff the last week.Hello.The patch caused: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71466
I'm seriously considering reverting the change at this point, addressing the issues, then re-installing as I expect to stay pretty busy in the immediate future.
jeff
