On 06/28/2016 05:51 PM, enh wrote: > ping. (i sent out a few updates close together, so you probably didn't > notice. note to self: say _what_ i'm removing rather than just > "update".) Looks like I confused it with the one from the 22nd and thought it was already applied. Rob