As a month has passed without comment, I've pushed the patch and my follow-up to master, rel_3_7, and rel_3_6. Thanks, Jeff!
As a month has passed without comment, I've pushed the patch and my follow-up to master, rel_3_7, and rel_3_6. Thanks, Jeff!