Commit 0da2963f authored by Mike Ledger's avatar Mike Ledger

make haddock happy

parent 98abe619
Pipeline #15891475 passed with stage
in 23 minutes and 51 seconds