From 63d3280b3ed35a3823f25669946ae7c5e63d5360 Mon Sep 17 00:00:00 2001
From: Open Identity Platform Community <open-identity-platform-opendj@googlegroups.com>
Date: Fri, 26 Oct 2018 20:44:03 +0000
Subject: [PATCH] [ci skip] 4.2.4->4.2.5 prepare release 4.2.5
---
pom.xml | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/pom.xml b/pom.xml
index ef473da..c9204ed 100644
--- a/pom.xml
+++ b/pom.xml
@@ -24,7 +24,7 @@
</parent>
<groupId>org.forgerock.opendj</groupId>
<artifactId>opendj-parent</artifactId>
- <version>4.2.5-SNAPSHOT</version>
+ <version>4.2.5</version>
<packaging>pom</packaging>
<name>OpenDJ Directory Services Project</name>
@@ -109,7 +109,7 @@
<connection>scm:git:https://github.com/OpenIdentityPlatform/OpenDJ.git</connection>
<developerConnection>scm:git:https://github.com/OpenIdentityPlatform/OpenDJ.git</developerConnection>
<url>https://github.com/OpenIdentityPlatform/OpenDJ</url>
- <tag>HEAD</tag>
+ <tag>4.2.5</tag>
</scm>
<distributionManagement>
--
Gitblit v1.10.0