diff --git a/utils/haddock b/utils/haddock index 7484cf883da0ececa8b9c0e039608d6c20654116..f07a4059efcde05fd26b33a8c902930d3ad90379 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 7484cf883da0ececa8b9c0e039608d6c20654116 +Subproject commit f07a4059efcde05fd26b33a8c902930d3ad90379