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