commit | c102f49a005e3ebc70ea63418d9cc4ba0c4d879b | [log] [tgz] |
---|---|---|
author | Peter Newman <peternewman@users.noreply.github.com> | Fri Feb 19 17:10:16 2021 +0000 |
committer | GitHub <noreply@github.com> | Fri Feb 19 17:10:16 2021 +0000 |
tree | b32fb9ed23e50f1d9ba974cc635d8c197c8d7ed9 | |
parent | c1e4a8acbaa2eee30241010ffbe3d9f3fd408721 [diff] | |
parent | 5417b803c885c98a99135892d661fc1a834b94a6 [diff] |
Merge pull request #1877 from cfi-gb/add_exitst Add exitst -> exits/exists