This repository has been archived by the owner on Mar 21, 2024. It is now read-only.
Replace the term "sanity", which is non-inclusive.#1362
Merged
brycelelbach merged 1 commit intomainfrom bug/remove-sanity-termDec 21, 2020
+99-100
