See comments in #6374.
-
dcousens commented at 12:50 AM on August 17, 2015: contributor
-
Diapolo commented at 7:09 AM on August 17, 2015: none
Agreed, I think that totally makes sense!
- laanwj added the label Refactoring on Sep 4, 2015
-
laanwj commented at 3:58 PM on September 4, 2015: member
Not convinced that this is really an issue :p
-
dcousens commented at 1:27 AM on September 5, 2015: contributor
@laanwj feel free to close. I just typically make issues for things as a form of TODO using https://github.com/issues, so this is my way of tracking something I intend to do when I get to it. Naturally, it was brought up in a PR such that I felt others would benefit from that, incase @Diapolo wanted to act on it before I did.
-
Diapolo commented at 11:03 AM on September 5, 2015: none
Feel free to create a pull... I don't feel like creating new ones currently.
-
dcousens commented at 2:06 AM on October 10, 2016: contributor
No longer relevant (and barely an issue anyway)
- dcousens closed this on Oct 10, 2016
- MarcoFalke locked this on Sep 8, 2021
Labels