Build #130:   Merge 106b4ce5d875ee5b2838cb7425daaf1d8e5f9299 into 3adda509fb36ed283f1f198c1e5bd3dc3cb... on branch type-error almost 5 years ago

Build #12:   Merge pull request #4 from niels-nijens/prepare-release-1.0.1 Add 1.0.1 release to cha... on branch v1.0.1 about 9 years ago