Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
For version 14, we point to the /devel/ docs, since that version is currently in dev. I also bumped the fall through to point to v14, arguably we could instead point to /current/, but any current version will work, so I think devel is more likely.
Failed to load latest commit information.
Latest commit message