On Mon, May 01, 2017 at 11:52:28AM -0700, Eric Biggers wrote: > > Ted, this patch seems to have gotten missed; are you planning to apply it? Next > cycle is fine too, but I'd like to get it in sometime. Yes, I had missed it. Since it's simple and low-risk, I'll include it this cycle; it's in the dev branch now. Thanks for reminding me! - Ted