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

[bug] Shouldn't work in merged PR #17

Open

JohnTitor opened this issue Jan 26, 2019 · 0 comments

Labels

Priority: High Type: Bug

Contributor

JohnTitor commented Jan 26, 2019

Hmm, frau works in merged PR, this isn't good.
#13 (comment)

JohnTitor added the Type: Bug label

JohnTitor changed the title ~~[bug] Don't work in merged PR~~ [bug] Shouldn't work in merged PR

JohnTitor added the Priority: High label

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