Alex Thüring informed me that the problem already has been fixed. (Ubuntu uses version 1.8.3 but the head version is 2.1.)
Alex Thüring informed me that the problem already has been fixed. (Ubuntu uses version 1.8.3 but the head version is 2.1.)