https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81937
--- Comment #2 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- Added Thomas to cc since he is peeking at I/O things I think.
jvdelisle at gcc dot gnu.org Sun, 01 Oct 2017 10:33:07 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81937
--- Comment #2 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- Added Thomas to cc since he is peeking at I/O things I think.