diff options
author | Pierre-Charles David | 2019-07-10 07:10:20 +0000 |
---|---|---|
committer | Pierre-Charles David | 2019-07-10 07:10:20 +0000 |
commit | f6091d03dfede56e6f2d1b52aaf03b316cca37ef (patch) | |
tree | 027bb132b53210020611b8a792471aa052d46472 | |
parent | 682decdbdf9c26deea01b53d1bbc931345f869dc (diff) | |
download | org.eclipse.sirius-f6091d03dfede56e6f2d1b52aaf03b316cca37ef.tar.gz org.eclipse.sirius-f6091d03dfede56e6f2d1b52aaf03b316cca37ef.tar.xz org.eclipse.sirius-f6091d03dfede56e6f2d1b52aaf03b316cca37ef.zip |
Change-Id: I5c56719b9b32ab003b2ac43c7f6fa3b951d71b0d
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
-rwxr-xr-x | releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh b/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh index 1cf2d82fd1..2a279e6580 100755 --- a/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh +++ b/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh @@ -35,7 +35,7 @@ provided by the Jenkins build. set -e # The full version (should be taken as an argument) -export VERSION="6.2.1" +export VERSION="6.2.2" # The type of build being published export BUILD_TYPE="nightly" |