Tue, 18 May 2021 22:07:16 -0700 | Martin von Zweigbergk | errors: make InterventionRequired subclass Abort | changeset | files |
Tue, 18 May 2021 21:58:12 -0700 | Martin von Zweigbergk | errors: move Abort earlier, so more exceptions can subclass it | changeset | files |