diff options
author | David Ostrovsky <david@ostrovsky.org> | 2021-01-26 19:00:59 +0100 |
---|---|---|
committer | David Ostrovsky <david@ostrovsky.org> | 2021-01-26 19:00:59 +0100 |
commit | 65a42c9cd422b5f3c0e09a87145b8d4d0794cdef (patch) | |
tree | ac1eb9708e0d92bf48c6f22edacfeeb89b00166b /tools/maven/gerrit-extension-api_pom.xml | |
parent | e154d31933b65d130c8d484f5ce0445d623029d3 (diff) |
Set version to 3.1.12v3.1.12
Change-Id: I286b1536120852d4a05b0581e03da3fde04bc299
Diffstat (limited to 'tools/maven/gerrit-extension-api_pom.xml')
-rw-r--r-- | tools/maven/gerrit-extension-api_pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/maven/gerrit-extension-api_pom.xml b/tools/maven/gerrit-extension-api_pom.xml index cad19182bd..758f5f29bf 100644 --- a/tools/maven/gerrit-extension-api_pom.xml +++ b/tools/maven/gerrit-extension-api_pom.xml @@ -2,7 +2,7 @@ <modelVersion>4.0.0</modelVersion> <groupId>com.google.gerrit</groupId> <artifactId>gerrit-extension-api</artifactId> - <version>3.1.12-SNAPSHOT</version> + <version>3.1.12</version> <packaging>jar</packaging> <name>Gerrit Code Review - Extension API</name> <description>API for Gerrit Extensions</description> |