backports-0.13 coverage gh-pages jbp-azure-pipelines jbp-edition-2018 jbp-mio-optional-for-basic-tests jbp-no-sha1 jbp-separated-rng jbp-travis master

v/0.15.2 v/0.15.1 v/0.15.0 v/0.14.0 v/0.13.1 v/0.13.0 v/0.12.0 v/0.11.0 v/0.10.0 v/0.9.0 v/0.8.0 v/0.7.0 v/0.6.0 v/0.5.8 v/0.5.7 v/0.5.6 v/0.5.5 v/0.5.4 v/0.5.3 v/0.5.2 v/0.5.1 v/0.5.0 v/0.1.2 v/0.1.1 v/0.1.0