On Mon, Jul 13, 2015 at 02:51:24PM -0700, Dirk Hohndel wrote: > That said, I would appreciate a code review of that patch once it's > pushed. I went out of my way to try to capture all corner cases here. Pushed. /D