I've removed the RFC tag; I think its good enough to merge now. Ok to merge?

--
https://forge.sourceware.org/gcc/gcc-TEST/pulls/158#issuecomment-6178

Reply via email to