Merged as commit 5417ceaa41c63fc747833a71111e7578bebcad20.

--
https://forge.sourceware.org/gcc/gcc/pulls/275#issuecomment-8234

Reply via email to