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.

Reply via email to