Clément Bœsch <ubitux <at> gmail.com> writes: > I think this is supposed to fix the same issue than > b17b2963692f5f7c19a2188e61922e00680c5fb4, should we > revert that old commit? I had done that before reading your mail, thank you. Carl Eugen