matthew green Tue, 18 Aug 2015 21:06:07 -0700
also: why did you not bring up this API change on tech-kern?
.mrg.