diff options
author | Luca Milanesio <luca.milanesio@gmail.com> | 2020-06-06 02:29:54 +0000 |
---|---|---|
committer | Luca Milanesio <luca.milanesio@gmail.com> | 2020-06-06 02:29:54 +0000 |
commit | 090cbb55925a5b73fbfe0e3f093de26eddfdf3c0 (patch) | |
tree | 0252917820ad6a353bfccc61e575dbc28d511235 /gerrit-plugin-gwtui/pom.xml | |
parent | c6a55c43c4f5a2335d31d5bc1c5568255eb84869 (diff) |
Set version to 2.15.19v2.15.19
Change-Id: I9c1b41bcb134b799fb8508514b66a7a4a83a65ca
Diffstat (limited to 'gerrit-plugin-gwtui/pom.xml')
-rw-r--r-- | gerrit-plugin-gwtui/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gerrit-plugin-gwtui/pom.xml b/gerrit-plugin-gwtui/pom.xml index 77a31e5fff..3569574798 100644 --- a/gerrit-plugin-gwtui/pom.xml +++ b/gerrit-plugin-gwtui/pom.xml @@ -2,7 +2,7 @@ <modelVersion>4.0.0</modelVersion> <groupId>com.google.gerrit</groupId> <artifactId>gerrit-plugin-gwtui</artifactId> - <version>2.15.19-SNAPSHOT</version> + <version>2.15.19</version> <packaging>jar</packaging> <name>Gerrit Code Review - Plugin GWT UI</name> <description>Common Classes for Gerrit GWT UI Plugins</description> |