Commit e527c17e239fbbc0856add5723be9b57e3a48662

Behdad Esfahbod 2023-06-08T15:56:12

[buffer-verify] Don't consider shaping failure as error