21 Nov
2013
21 Nov
'13
5:31 a.m.
On 21/11/13 06:54, Kazu Yamamoto (山本和彦) wrote:
I think he has forgotten, yes. But yeah do send the pull requests anyway, my last set got merged in.
Done: https://github.com/simonmar/happy/pull/13 https://github.com/simonmar/alex/pull/38
Sorry, I closed your pull requests without seeing this discussion. But I'm not sure about this fix. I'm happy to merge in fixes for Mac in general, but in this case we seem to lose the line pragmas, which are actually useful (error messages will point to the original source, instead of some preprocessed file). Cheers, Simon