From 5c3e59895964bf50a1592ad37d604a0ea0228b5b Mon Sep 17 00:00:00 2001
From: Open Identity Platform Community <open-identity-platform-opendj@googlegroups.com>
Date: Wed, 28 Feb 2018 10:43:58 +0000
Subject: [PATCH] [ci skip] prepare release 4.1.2
---
opendj-server/pom.xml | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/opendj-server/pom.xml b/opendj-server/pom.xml
index 598acfb..a133e1b 100644
--- a/opendj-server/pom.xml
+++ b/opendj-server/pom.xml
@@ -19,7 +19,7 @@
<parent>
<groupId>org.forgerock.opendj</groupId>
<artifactId>opendj-parent</artifactId>
- <version>4.1.2-SNAPSHOT</version>
+ <version>4.1.2</version>
</parent>
<artifactId>opendj-server</artifactId>
<name>OpenDJ Server NG</name>
--
Gitblit v1.10.0