Am 17.01.19 um 07:30 schrieb Thomas Koenig:
No test case because, well - it did show up on a few systems, so we will
notice if it regresses. OK for trunk?
Both Dominique and Jürgen confirmed that it fixes the PR.
I will commit this tomorrow unless there are any objections - I'd
like to get th
Hello world,
the attached patch fixes PR 88871, a regression introduced by
my recent patch for removing unnecessary substrings.
Regression-tested; this now also works with valgrind on Linux,
where the failure did not show up otherwise.
No test case because, well - it did show up on a few system
