From 67708571d1607fc47d730de07357cde36d131193 Mon Sep 17 00:00:00 2001
From: Guylaine Prat <guylaine.prat@c-s.fr>
Date: Mon, 2 Oct 2017 12:57:17 +0200
Subject: [PATCH] Update to Orekit 9.0 official version

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 88e8978d..df09e028 100644
--- a/pom.xml
+++ b/pom.xml
@@ -38,7 +38,7 @@
     <rugged.maven-resources-plugin.version>3.0.1</rugged.maven-resources-plugin.version>
     <rugged.jgit.buildnumber.version>1.2.10</rugged.jgit.buildnumber.version>
     <rugged.plantuml.version>7999</rugged.plantuml.version>
-    <rugged.orekit.version>9.0-SNAPSHOT</rugged.orekit.version>
+    <rugged.orekit.version>9.0</rugged.orekit.version>
     <rugged.hipparchus.version>1.1</rugged.hipparchus.version>
     <rugged.compiler.source>1.8</rugged.compiler.source>
     <rugged.compiler.target>1.8</rugged.compiler.target>
-- 
GitLab