Closed MigthyThor closed 9 years ago
I think I have been able to manually merge the pull request.
What happened is that you merged some of the changes I did on the master branch to gh-pages. In fact, I updated the README on master and not on gh-pages, and I worked on the manual.
Cheers,
D.
I fixed the list link and added the canonical link.