Based on mutual assent of those weighing in, I have pushed this in as offered by Dan P. Thanks, Dan!
Pushed to master through rel_3_1.
Based on mutual assent of those weighing in, I have pushed this in as offered by Dan P. Thanks, Dan!
Pushed to master through rel_3_1.