On 2015-11-26 10:55, Joseph Rushton Wakeling wrote:
OK, I'll do that this evening once I've had an opportunity to check the workaround etc. Thanks!
Of course, a pull request is even more welcome. Should be very simple to fix.
-- /Jacob Carlborg
Jacob Carlborg via Digitalmars-d-learn Thu, 26 Nov 2015 11:52:18 -0800
On 2015-11-26 10:55, Joseph Rushton Wakeling wrote:
OK, I'll do that this evening once I've had an opportunity to check the workaround etc. Thanks!
Of course, a pull request is even more welcome. Should be very simple to fix.
-- /Jacob Carlborg