Nicolas Richard <theonewiththeevill...@yahoo.fr> writes: > Commit f129764 should have fixed that. I think there is some confusion > because this was in fact a duplicate of another bug report where much > more discussion happened (but I saw that thread only after posting my > report).
Indeed, thanks for confirming! This is now closed, then. -- Bastien
