On Tue, 2014-07-08 at 18:58 -0700, Brian Norris wrote: > > Ooops, missed this completely. Let me merge it a bit later, after > > 3.16-rc1. Thanks! > > 'Tis after 3.16-rc1! I'll send a pull request today/tomorrow, just returned from vacation. -- Best Regards, Artem Bityutskiy