On Wed, Apr 15, 2015 at 08:08:07AM -0700, Jacob Pan wrote:> Any more comments? This is really a bug fix.I had it queued but it missed the first pull req, I'll put it in/urgent.