Le 14/10/2018 à 16:56, Scott Kostyshak a écrit :
Ah good to know. JMarc, could the cursor placement observation that Enrico mentions above be a clue for something that changed related to this commit or the previous commit (7b8b3e38)?
I do not know yet, I did not have the time to look at it. JMarc
