[PATCH 1/2] Fix version in dune.module
authorMarkus Blatt <markus@dr-blatt.de>
Fri, 9 Dec 2022 14:58:55 +0000 (15:58 +0100)
committerRaspbian forward porter <root@raspbian.org>
Thu, 8 Feb 2024 16:16:19 +0000 (16:16 +0000)
Gbp-Pq: Name dunemodule-version.patch

dune.module

index b7673a520ff61124c043a4bf20ea4ef0c9c8eb3d..382e828c281e410ea866b386dbff5b974cc17d57 100644 (file)
@@ -2,7 +2,7 @@
 # SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception
 
 Module: dune-common
-Version: 2.9-git
+Version: 2.9.0
 Author: The Dune Core developers
 Maintainer: dune-devel@lists.dune-project.org
 Description: Basis infrastructure for all Dune modules