Update gospel 0.3.1#375

n-osborne merged 3 commits into

ocaml-gospel:mainocaml-gospel/ortac:mainfrom

n-osborne:update-gospel-0.3.1n-osborne/ortac:update-gospel-0.3.1Copy head branch name to clipboard