Merge pull request #77 from henkmuller/patch-1

Fix xmosdoc xchat problem

Jenkinsfile

@@ -22,7 +22,7 @@ pipeline {
     )
     string(
       name: 'XMOSDOC_VERSION',
-      defaultValue: 'v6.1.0',
+      defaultValue: 'v6.1.2',
       description: 'The xmosdoc version'
     )
   }