bump pymdown-extensions; pin pygments#745

patrick-kidger merged 1 commit intopatrick-kidger:mainpatrick-kidger/diffrax:mainfrom

patrick-kidger-bot:bump-pymdown-pin-pygmentspatrick-kidger-bot/diffrax:bump-pymdown-pin-pygmentsCopy head branch name to clipboard