From 2c87f5488d8e09b6e540893644ded3fc60be5320 Mon Sep 17 00:00:00 2001
From: cclecle <clement.chastanier@gmail.com>
Date: Sun, 19 Mar 2023 20:05:32 +0000
Subject: [PATCH] test: bump dev version

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f7466d0..d5327e5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -141,7 +141,7 @@ pipeline {
 		stage("GetCode") {
 			steps {
 				dir("gitrepo") {
-					// manually checkout the repository, with All branches and tags
+					// manually checkout the repository, with All branches and tags 
 					// => because we might need them for version and changelog computing
                     checkout([ $class: "GitSCM", 
                                branches: [[name: GIT_BRANCH]],