May 1, 2014
4:38 p.m.
Thanks for fixing that. I installed those patches into the experimental github repository, along with the attached news item for this.