diff --git a/utils/haddock b/utils/haddock index bf77580eb40fa960b701296ac828372d127a43dd..d61bbc75890e4eb0ad508b9c2a27b91f691213e6 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit bf77580eb40fa960b701296ac828372d127a43dd +Subproject commit d61bbc75890e4eb0ad508b9c2a27b91f691213e6