I've merged Bill's latest, with Terran's signoff, to rel_3_8 and master for 3.9. Thanks, Bill, Terran, and all!
I've merged Bill's latest, with Terran's signoff, to rel_3_8 and master for 3.9. Thanks, Bill, Terran, and all!