| 18:58 |
<wm-bot> |
<lucaswerkmeister> tried to deploy new pygments-server with support for latest SyntaxHighlight; not quite working yet, but as pages with SyntaxHighlight still work (just without highlighting), I’m okay to leave it at this for now, and hopefully resume tomorrow |
[tools.notwikilambda] |