Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Sep 2, 2021

New releases have arrived of the mkdocs-material dependency of all our MkDocs-based websites, and the mike dependency
of the versioned website. These are already in use by the Arduino Lint website (arduino/arduino-lint#269, arduino/arduino-lint#268).

New releases have arrived of the `mkdocs-material` dependency of all our MkDocs-based websites, and the `mike` dependency
of the versioned website. These are already in use by the Arduino Lint website.
@per1234 per1234 added the type: enhancement Proposed improvement label Sep 2, 2021
@per1234 per1234 merged commit 56f838b into arduino:main Sep 2, 2021
@per1234 per1234 deleted the bump-website-deps branch September 2, 2021 08:12
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants