Now committed to trunk after Jerry's OK, as https://gcc.gnu.org/g:3fe1910509e32d611b3a7b8503502103bc53b5e4
I have to say I still have trouble establishing a git workflow
which works smoothly. You will notice an "asdf" in the commit
message which was not really meant to be there...
Regards
Thomas
