Skip to content

real/veritas: Rename forall -> vforall

Matthew Pickering requested to merge wip/forall into master

Merge request reports