From 9b8a4f74fdeac30494a8a4695a28205b02287b89 Mon Sep 17 00:00:00 2001
From: Luc Maisonobe <luc@orekit.org>
Date: Sat, 16 Mar 2019 11:13:31 +0100
Subject: [PATCH] Update dependency to Orekit 9.3.1.
---
pom.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pom.xml b/pom.xml
index 7e7c5e91..a7802b6f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
<!-- COTS version -->
- <rugged.orekit.version>9.3</rugged.orekit.version>
+ <rugged.orekit.version>9.3.1</rugged.orekit.version>
<rugged.hipparchus.version>1.4</rugged.hipparchus.version>
<rugged.junit.version>4.12</rugged.junit.version>
--
GitLab