Skip to content

Explicit Pygments dependency; upgrade other deps#1369

Merged
jace merged 1 commit intomainfrom pygments-and-dependenciesMay 16, 2022