diff --git a/utils/haddock b/utils/haddock index d66092ee99639de628dbc4fce8a9936875f47d8c..7064cd54e016b2f8e0a8c2ba8d3dd5edea9071ca 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit d66092ee99639de628dbc4fce8a9936875f47d8c +Subproject commit 7064cd54e016b2f8e0a8c2ba8d3dd5edea9071ca