https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87239
--- Comment #2 from Jürgen Reuter <juergen.reuter at desy dot de> --- Dominique, my apologies, I don't know why my browser did send the form data twice.
juergen.reuter at desy dot de Wed, 05 Sep 2018 21:35:45 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87239
--- Comment #2 from Jürgen Reuter <juergen.reuter at desy dot de> --- Dominique, my apologies, I don't know why my browser did send the form data twice.