This reverts commit efa513262e, reversing changes made to daccfca11d.
efa513262e
daccfca11d
-vet
-strict-style
-disallow-do