On Wednesday, 11 September 2019 at 02:09:42 UTC, Stefanos Baziotis wrote: > > I have branched to an old PR (4 months ago) and the problem > doesn't exist. For clarification, the problem doesn't exist _in that_ branch. On my current new branch, I still haven't been able to solve it.