commit | 27168b50fb3360090a8c0ce731fdd676acd4d3d4 | [log] [tgz] |
---|---|---|
author | Peter Newman <peternewman@users.noreply.github.com> | Sat Nov 13 16:27:34 2021 +0000 |
committer | GitHub <noreply@github.com> | Sat Nov 13 16:27:34 2021 +0000 |
tree | 83c72fa08b78320bb2ff5b1efe73999e1e6b5812 | |
parent | 8ab3b56a6b9ccc675ec1ebd207da6a991d0965aa [diff] | |
parent | 11e069b6957a2e7c06c4080ad19f0a9405d5c8f0 [diff] |
Merge pull request #2115 from DimitriPapadopoulos/shrank shrinked might be shrunk or shrank