ariosos opened this issue 9 years ago ยท 1 comments
(delete please - didn't see the closed issues in GitHub. Not used to github's issue tracker, so it confuses me a bit. :p)
You cant just delete these, but I appreciate you still reporting.