(c) 2022 Grant Billings and Karthik Sanka
Please run All Output > Clear and Execution Timing > Clear (All) before pushing to the repo, or the diffs are very ugly! And merging our independent work will be very challenging.
Here's a link to the proposal presentation for 09/22/22
Here's a note from my desktop