As three weeks have passed and the patch is small, I've gone ahead and pushed this to master, rel_3_3, rel_3_2, and rel_3_1. Thanks, Rogan!
As three weeks have passed and the patch is small, I've gone ahead and pushed this to master, rel_3_3, rel_3_2, and rel_3_1. Thanks, Rogan!