On Wednesday, 13 January 2021 at 07:21:26 UTC, Paul Backus wrote: > nonexistent. The most recent example of this is Timon Gehr's > tuple DIP, which is currently stalled due to "lack of > enthusiasm from decision makers." Timon has not submitted his DIP yet. I don't see how anyone can blame the stalling of an unsubmitted DIP on the leadership.