hmm, I think the "projected July 2023" is incorre...
# office-hours
j
hmm, I think the "projected July 2023" is incorrect. I'll need to check with some folks on that.