From 3406b9f361905b043b28e9580136d8f112112a6f Mon Sep 17 00:00:00 2001
From: Markus Blatt <markus@dr-blatt.de>
Date: Tue, 31 Aug 2021 20:54:02 +0200
Subject: [PATCH] Use 2.8.0 in dune.module

---
 dune.module | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune.module b/dune.module
index 91dd6da63..f6f669b77 100644
--- a/dune.module
+++ b/dune.module
@@ -1,5 +1,5 @@
 Module: dune-uggrid
-Version: 2.8-git
+Version: 2.8.0
 Depends: dune-common (>= 2.8)
 Maintainer: dune-devel@lists.dune-project.org
 Whitespace-Hook: Yes
-- 
GitLab