Closed erikr closed 8 years ago
Thanks again, I like it! Hm strange, for some reason this pull request wasn't closed when I merged from the command line (there was a merge conflict because of the 2 pull requests I guess). When I remember correctly, it used to trigger the "merge pull request" status on the GitHub API ... In any case, it's been added :)
And also fixed a mis-spelling of "constrained" at the end of the page.