From 46460afce1962f3dd6fbeb232f5dd88339f2413e Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Wed, 1 Jul 2020 00:26:38 +0000
Subject: [PATCH] CompatHelper: bump compat for "Documenter" to "0.25"

---
 Project.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Project.toml b/Project.toml
index ccb6611..c675285 100644
--- a/Project.toml
+++ b/Project.toml
@@ -16,8 +16,8 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 [compat]
 DataStructures = "0.17.9"
 DocStringExtensions = "0.8.1"
-Documenter = "0.24.4"
+Documenter = "0.24.4, 0.25"
 HTTP = "0.8.8"
 IterTools = "1.3.0"
-julia = "1.3.1"
 Nemo = "0.16.2"
+julia = "1.3.1"