Skip to content
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

Remove unused tag filter #3966

Merged
merged 1 commit into from
Apr 9, 2020
Merged

Remove unused tag filter #3966

merged 1 commit into from
Apr 9, 2020

Commits on Apr 8, 2020

  1. Remove unused tag filter 

    This filter was added in commit 4285ba4, it was changed in commit
002d868, and most of the code from the original commit has disappeared
without a trace (maybe due to a merge conflict?).

This filter could actually be useful if we started using it when users
click on a tag. Since we don't, I'm removing it. We might add it back if
we decide to actually use it.
    @javierm
    javierm committed Apr 8, 2020
    Configuration menu
    Copy the full SHA
    b483d50 View commit details
    Browse the repository at this point in the history