New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Hovering over a tag name shows its description and clicking on it opens its URI #2107

Merged

mvilanova merged 1 commit into master from enhancement/tag-description-uri

Mar 24, 2022

Contributor

mvilanova commented Mar 23, 2022 •

edited


          Hovering over tag name shows description and clicking on it opens tag…

… uri

mvilanova added the enhancement label

mvilanova merged commit 6924b9f into master

mvilanova deleted the enhancement/tag-description-uri branch

March 24, 2022 00:45

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment