oubiwann opened this issue 10 years ago · 1 comments
This was done in the latest commit (id 5ceedbe); forgot to mention it in the rather large commit message.