Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Note that while there are references to v1.0.14 in the git history, this was not tagged so identifying the exact commit is non trivial. Note also that the v1.1 tag was premature and the code at that point still reported version v1.0.14, which was rectified a few days later with the v1.1.0 tag which is used here.
- Loading branch information