Open nschneid opened 3 months ago
It doesn't appear to be a github action 🤷
It looks like updates since July 9 have not been published.
I believe @dan-zeman is on vacation—is there anyone else with the power to fix this?
Yes, I am on vacation. But I never had the power to fix this kind of issues. @fginter maintains the server that renders the pages.
It looks like updates since July 9 have not been published.
I believe @dan-zeman is on vacation—is there anyone else with the power to fix this?