From ce4e3438a6984dbc2849a5e1d241c623316937a0 Mon Sep 17 00:00:00 2001
From: Markus Blatt <markus@dr-blatt.de>
Date: Mon, 10 Feb 2014 23:45:49 +0100
Subject: [PATCH] Use 2.3.0 instead of 2.3

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

diff --git a/dune.module b/dune.module
index e87cdca79..2e82babb0 100644
--- a/dune.module
+++ b/dune.module
@@ -1,4 +1,4 @@
 Module: dune-common
-Version: 2.3
+Version: 2.3.0
 Maintainer: dune-devel@dune-project.org
 Whitespace-Hook: Yes
-- 
GitLab