🌱 Bump pymdown-extensions from 10.15 to 10.16 #5335
GitHub Actions / PR Type
succeeded
Jun 23, 2025 in 7m 50s
PR Type in Title
Found 🌱 PR (infra)
Details
Final title:
Bump pymdown-extensions from 10.15 to 10.16
Loading