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

Revert "Add tags to Loopy" #172

Merged

inducer merged 1 commit into master from revert-156-master

Nov 17, 2020

Owner

inducer commented Nov 17, 2020

Reverts #156


          Revert "Add tags to Loopy"

ba9880a

Owner Author

inducer commented Nov 17, 2020

cc @nchristensen

inducer merged commit f3a7d5a into master

inducer deleted the revert-156-master branch

November 17, 2020 22:13

inducer mentioned this pull request

Reinstate "Add tags to Loopy"" #173

Merged

1 task

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