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