Just to be clear I was fine with this decision – the logic seemed fair enough to me. Pretty sure @wds15 was happy with it at the meeting as well. @ariddell approved here: Monthly Math development meeting: 10/17/2019, 10 am EDT - #4 by ariddell, and @rok_cesnovar approved here: TBB and 2.21 - #35 by rok_cesnovar
Part of the TBB and 2.21 thread happened before the Math meeting.