Merge pull request #15 from Open-EO/compathelper/new_version/2023-07-…

…25-01-39-39-636-01422769168 CompatHelper: add new compat entry for Infiltrator at version 1, (keep existing compat)
Open-EO · Jul 25, 2023 · f309b0f · f309b0f
2 parents 603b818 + 0e77627
commit f309b0f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Project.toml b/Project.toml
@@ -16,6 +16,7 @@ StructTypes = "856f2bd8-1eba-4b0a-8007-ebc267875bd4"
 [compat]
 DataStructures = "0.18"
 HTTP = "1"
+Infiltrator = "1"
 JSON3 = "1"
 StructTypes = "1"
 julia = "1"