March 19, 2014
10:29 p.m.
Thanks again. I pushed the attached patch to the experimental repository, and we'll need to generate a new official release soon.