Closed Nebual closed 11 years ago
Out of curiosity, do we have any formal policy on merging? I noticed sometimes we can have pull requests open for days, even weeks, before someone says "Should we merge it?"
If laziness is a formal policy, then yes
In this case, I cannot test that this actually resolves the problem, as I do not have a Linux server, though I can say its still fine on Windows. In other cases, I'm usually worried that my solution is not tidy enough, so I leave it open for a few days in case anyone else has a better solution, to avoid "Neb why did you rename all those files the wrong way, now their history is (almost) lost"
Due to the importance of this pull request though, if it looks OK, lets get it pulled and published!
Guess it's trial by fire then!
Fixes #39