Closed mattjj closed 10 years ago
Is this still an open issue, or should it be closed?
going to close it but open a related issue about overlays
Btw the most fun thing is that github will auto-close issues if you mention them appropriately in a git commit that you push. Like if you push a commit with a message that says fixes #4
it will close the corresponding issue.
Not relevant here but I thought you should know that it's the most fun thing.
Quoth the stephie: