While looking at this again, I noticed that this was pushed to master on 8/1 by Chris (inadvertently?). In any event, the patch is good, so I've gone ahead and backported it to rel_3_3, rel_3_2, and rel_3_1. Thanks, Kyle and Chris!
While looking at this again, I noticed that this was pushed to master on 8/1 by Chris (inadvertently?). In any event, the patch is good, so I've gone ahead and backported it to rel_3_3, rel_3_2, and rel_3_1. Thanks, Kyle and Chris!