Mark H Weaver Tue, 23 Sep 2014 18:47:48 -0700
Pushed to master, commit f7582f9807d9a10fba86f54c4aeaa7444c51a315. I'm closing this bug now.
Thanks, Mark