The patch is straightforward and it's been long enough, so I've merged it down to rel_3_11. Thanks, Josh and Garry!
The patch is straightforward and it's been long enough, so I've merged it down to rel_3_11. Thanks, Josh and Garry!