From 373de3dd876f73dfae468b7f6b63560426d54eb6 Mon Sep 17 00:00:00 2001
From: Luc Maisonobe <luc@orekit.org>
Date: Thu, 27 Jul 2017 13:48:21 +0200
Subject: [PATCH] Updated dependency to official  Orekit 9.0.

---
 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