On Thu, 3 Jan 2019, Martin Sebor wrote: > Ping: https://gcc.gnu.org/ml/gcc-patches/2018-12/msg01616.html
This is OK (with the typo fix Jakub noted). -- Joseph S. Myers jos...@codesourcery.com
On Thu, 3 Jan 2019, Martin Sebor wrote: > Ping: https://gcc.gnu.org/ml/gcc-patches/2018-12/msg01616.html
This is OK (with the typo fix Jakub noted). -- Joseph S. Myers jos...@codesourcery.com