diff -r 39ca8303034e -r 6474c4dae278 src-util/diagnostic/build.xml --- a/src-util/diagnostic/build.xml Tue Nov 06 13:49:58 2018 +0100 +++ b/src-util/diagnostic/build.xml Tue Nov 06 13:50:43 2018 +0100 @@ -38,7 +38,7 @@ - +