Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
handle an already used nick different from the one we send #804
dequis left a comment •
This one has been in the queue for waaaaaaaaaay too long, so long that the parent commits are full of compilation warnings that I haven't seen in a long while. Merges fine and works as intended.