Thanks, Bill! Pushed to master and rel_2_12 along with a tweak of the record collision error message.
Thanks, Bill! Pushed to master and rel_2_12 along with a tweak of the record collision error message.