Hi Harald,
I'd like to commit the attached patch as obvious within the next 24 hours unless anybody objects, or earlier if there is positive feedback.
OK with a ChangeLog entry and the correct PR numbers (I believe
they are 103137 and 103138) :-)
Best regards
Thomas
