Closed odyssomay closed 11 years ago
2 years, no merge and no comments? :P I'm going to assume this is not wanted - closing.
Oh, sorry about that! It was untested and I was waiting for a test before a commit!
Please, issue a new pull request :D
Hmm, I don't think I will.
I don't have the repository anymore, and the change is not really important. :)
Note that this is untested. (macroexpansion looks correct)