Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
599 contributions in the last year
This PR adds missed documentation for already merged #536
This is a weird issue that I don't think I can understand myself.
From the Travis log, it appears it started failing after 4f364b8, but I tried to …
Press h to open a hovercard with more details.