@T-compiler/WG-meta do we have meeting today?
Niko is on PTO now, I believe. We could go through the open issues/PRs if you want, but I don't think there's been much change.
I know @nikomatsakis is not around
@davidtwco let's skip then, it's also holidays here
Sure thing, enjoy the holidays.