I had already pushed the initial fix by the time I received this, so I've
reopened the bug.  I'll address it later this evening.

Reply via email to