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.
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.