Remove "and only" from open-source Zanzibar line#746

Merged

zepatrik merged 1 commit intoory:masterfrom stuartpb:patch-2

Oct 1, 2021

+1-1

Commits on Oct 1, 2021

Remove "and only" from open-source Zanzibar line
stuartpb
authored