Well, I committed this to master, rel_3_0, and rel_3_1 on 8/22 and didn't update this bug. In any case, thank you Jason and Terran!
Well, I committed this to master, rel_3_0, and rel_3_1 on 8/22 and didn't update this bug. In any case, thank you Jason and Terran!