View Single Post
Old October 12, 2018, 22:36   #2
AnonymousHero's Avatar
Join Date: Jun 2007
Posts: 1,372
AnonymousHero is on a distinguished road
Can you please make an issue on GitHub here: ?

(This is mostly for tracking purposes. I think the fix is probably completely trivial, and I'll try to do it ASAP, but I really want GitHub to remind me )
AnonymousHero is offline   Reply With Quote