From 1c91a7a095331d8c776f6ecd74803026e0104502 Mon Sep 17 00:00:00 2001 From: Sylvain Henry Date: Thu, 14 May 2020 16:37:01 +0200 Subject: Bump haddock submodule --- utils/haddock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'utils') diff --git a/utils/haddock b/utils/haddock index a8d7e66da4..8f340aef12 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit a8d7e66da4dcc3b242103271875261604be42d6e +Subproject commit 8f340aef12df5f5df02d49ab5c6c5d7cccfa398b -- cgit v1.2.1