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

Guys with short nicks complain #387

Open
ForNeVeR opened this issue May 12, 2016 · 5 comments
Open

Guys with short nicks complain #387

ForNeVeR opened this issue May 12, 2016 · 5 comments
Labels
kind:proposal

Comments

@ForNeVeR
Copy link
Member

ForNeVeR commented May 12, 2016 •
edited
Loading

Good sir named "#↑" thinks that his nickname should be a subject for antihighlight mode. We should see what can we do about it.
@rexim
Copy link
Member

rexim commented May 12, 2016

Did this person prove themselves to be innocent?

@ForNeVeR
Copy link
Member Author

I guess their nickname explains it all...

@rexim
Copy link
Member

rexim commented May 12, 2016

You mean the issue can be closed?

@ForNeVeR
Copy link
Member Author

ForNeVeR commented May 12, 2016 •
edited
Loading

I am not that evil to open the issue just to demonstratively close it.

@rexim
Copy link
Member

rexim commented May 12, 2016

Ok

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind:proposal
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ForNeVeR @rexim