From 85e4cf6f311324a084d64d58273de98ab5b9843e Mon Sep 17 00:00:00 2001
From: Michael Poluektov <78477503+michaelpoluektov@users.noreply.github.com>
Date: Fri, 8 Nov 2024 12:52:09 +0000
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9816dc69..4c293246 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,7 +29,7 @@ pipeline {
 
   environment {
     REPO = 'lib_device_control'
-    XMOSDOC_VERSION = 'v6.1.2'
+    XMOSDOC_VERSION = 'v6.1.3'
   } // environment
 
   parameters {