Skip to content

chore(deps-dev): bump mike from 0.6.0 to 1.1.2#92

Merged
github-actions[bot] merged 1 commit intodevelopfrom
dependabot/pip/develop/mike-1.1.2
Sep 15, 2022

Commits

Commits on Sep 15, 2022