From 5377dfd7b4790e073e32bb8ffe72e4844b0d64d2 Mon Sep 17 00:00:00 2001
From: Guylaine Prat <guylaine.prat@c-s.fr>
Date: Fri, 1 Feb 2019 16:04:49 +0100
Subject: [PATCH] Update to use Orekit 9.3 official release.

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

diff --git a/pom.xml b/pom.xml
index dd0e6b6d..3c2cb5c3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
 
     
     <!-- COTS version -->
-    <rugged.orekit.version>9.3-SNAPSHOT</rugged.orekit.version>
+    <rugged.orekit.version>9.3</rugged.orekit.version>
     <rugged.hipparchus.version>1.4</rugged.hipparchus.version>
     <rugged.junit.version>4.12</rugged.junit.version>
     
-- 
GitLab