Charles Choi <[email protected]> writes: > Thanks! >> On Jul 8, 2025, at 4:26 AM, Max Nikulin <[email protected]> wrote: >> >> Applied.
Thanks. >> See 3ba05932. HTML file will be updated when somebody else push another >> change Or later, as the web pages have not been building for a while, due to an upstream server issue I hope will be resolved soon. Yours, Christian
