Fix delegating to always-no-confidence#403

Merged

CarlosLopezDeLara merged 1 commit intomainfrom cl/always-no-confidence

Oct 25, 2023

+139-5

Commits on Oct 25, 2023

update certificate descriptions to match the ones we had when it was under DRep.hs
CarlosLopezDeLara
committed