-
Moritz Grimm authored
This has been reported by Alexandre Rebert in February 2013(!). The time to fix is terrible; luckily, the affected user base is likely to be very small.
6211bc85
To find the state of this project's repository at the time of any of these versions, check out the tags.