On 06/17/2015 01:49 PM, Sönke Ludwig wrote:

Not sure yet, but if I can manage to have a closer look at your PR tomorrow, I think it should be no problem to still integrate it into 0.9.24 (0.9.24-alpha.1 would probably have been a better name for this pre-release). But I'd like to get the next release out ASAP, since there are some important fixes on master, most notably #564.

Ok, cool. If there's anything you need, let me know. I have github
notifications/messages set up to go to the email box on my phone, so
I'll likely see those right away.