Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
fixed-Issue 1614 #2384
Hi there. Good find. I looked for that one a couple of times on Wikipedia and didn't see it. Btw, if you put "closes" and the issue number in your PR message Github will auto close it when it when it's merged so someone else doesn't have to later. Thanks.