diff -r 13588c901957 -r 9cf78a70fa4f doc/testing.html --- a/doc/testing.html Thu Oct 17 20:27:44 2019 +0100 +++ b/doc/testing.html Thu Oct 17 20:53:35 2019 +0100 @@ -5,7 +5,7 @@