Commit 54b377278187f02621a60b3585de4ec02399234a Parent 2215e79323a09ecc70ea2fa8b8b6da170bac8e21 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 22 Jun 2020 10:27:47 -0700 Re-add `--safe` command-line option as a no-op. See #344.