From 8b567b3c94eb61adde1a72be11225d68ae649f13 Mon Sep 17 00:00:00 2001 From: Tobias Dammers Date: Wed, 1 Aug 2018 16:59:44 +0200 Subject: Upgrade haddock submodule to avoid bug --- utils/haddock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/haddock b/utils/haddock index 76d0f9b90a..0731855bd1 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 76d0f9b90a7b2f65ae12e1ce5dd0552909493252 +Subproject commit 0731855bd1c05379a91a3d761458b05c2d75b6d9 -- cgit v1.2.1