Hi Thomas, OK for trunk.
Thanks for working on it. Paul On Sat, 17 Nov 2018 at 15:10, Thomas Koenig <tkoe...@netcologne.de> wrote: > > Hi, > > > the attached patch fixes both ICEs in the PR by adding some tests. > > It was necessary to shuffle around a bit of code, plus to make sure that > > double error reporting did not become too bad. > > > > Regression-tested. OK for trunk? > > Ping? > > Regards > > Thomas -- "If you can't explain it simply, you don't understand it well enough" - Albert Einstein
