diff -r 5379b5872283 -r 85999d3d05f0 common/doc/testing.html --- a/common/doc/testing.html Thu May 11 13:58:54 2017 -0700 +++ b/common/doc/testing.html Fri May 12 19:09:50 2017 +0200 @@ -6,9 +6,8 @@