Pushed to master for inclusion in 3.2-beta, along with a tweak of the release notes. Thanks, Cesar and Bill!
Pushed to master for inclusion in 3.2-beta, along with a tweak of the release notes. Thanks, Cesar and Bill!