Merge "Set the correct Jenkins user as Git email"
authorJamo Luhrsen <jluhrsen@gmail.com>
Thu, 23 Jul 2020 03:54:14 +0000 (03:54 +0000)
committerGerrit Code Review <gerrit@opendaylight.org>
Thu, 23 Jul 2020 03:54:14 +0000 (03:54 +0000)
1  2 
jjb/integration/multipatch-distribution.sh