Sorry for the slow response on this, I was on vacation last week.
On 03/12/2018 21:48, Jakub Jelinek wrote:
I'd give the maintainers the last week to act if they don't want this to happen and if nothing happens, commit it. PR81084 lists all the reasons why it should be removed when it is totally unmaintained. Just make sure to put stuff that belongs there to gcc/ChangeLog and without gcc/ prefixes.
Yes, please go ahead and commit - it's not fair on other maintainers to have to work around my lack of action on this port. I will continue to work on it out-of-tree and hope to restore it once it is in proper shape.
Thanks, Andrew
