fix git username/address in jenkinsfile #9

Merged
chacha merged 1 commits from dev into master 2023-03-19 20:29:40 +01:00

1 Commits

Author SHA1 Message Date
cclecle
97612703b7 fix git username/address in jenkinsfile 2023-03-19 19:26:04 +00:00