Op 19-10-2015 om 19:04 schreef Uwe Stöhr:
Am 19.10.2015 um 18:26 schrieb Guillaume Munch:I fail to see a problem with this commit after reading it again. I would like to do some trial-and-error but not being able to reproduce makes it complicated.It is also not clear to me what triggers the error.
I fixed it at 10d7f6d. Vincent
