commit | 92fa1408e588e2facbad71d2dcf48be41bbc2f81 | [log] [tgz] |
---|---|---|
author | Peter Newman <peternewman@users.noreply.github.com> | Fri Mar 26 00:46:19 2021 +0000 |
committer | GitHub <noreply@github.com> | Fri Mar 26 00:46:19 2021 +0000 |
tree | 3e387a22d4ebd9c12cb9b48e0334c453449208d2 | |
parent | b6da7f55c795cc42422b6d32217ad7a2fe0f9061 [diff] | |
parent | c36a8c50a56e9ddbcc1ef89a45ae60240f64d14b [diff] |
Merge pull request #1896 from cfi-gb/add_finish_correction Add finishied->finished.