From bd913a53d886e650af77f86f0647ab688ed3ca09 Mon Sep 17 00:00:00 2001
From: Guylaine Prat <guylaine.prat@c-s.fr>
Date: Thu, 9 Nov 2017 13:41:09 +0100
Subject: [PATCH] Update to Orekit 9.0.1

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

diff --git a/pom.xml b/pom.xml
index eb06519f..5c587c0a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -39,7 +39,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</rugged.orekit.version>
+    <rugged.orekit.version>9.0.1</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