5 Oct
2019
5 Oct
'19
11:59 a.m.
Dear Yannick, thanks for reporting this bug and the solution to fix it. Your absolutely right, has_minus_one needs to be recomputed. Actually, it is never used before and just needs to be computed at this place. Attached is a minor modification of your patch, taking this into account. Richy: Can you apply the patch? Best wishes, Stefan