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

Reply via email to