| commit | 4fea56d30a24ce9ce0a93f3dd1301044d35513ed | [log] [tgz] |
|---|---|---|
| author | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Wed May 10 16:34:01 2017 +0200 |
| committer | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Wed Jul 19 22:19:50 2017 +0200 |
| tree | b5e6408831f894e890c2042f8d5c4aeae110b744 | |
| parent | 73bb310339e1ae1835e0970e62762fb6cbc11684 [diff] |
Fix non-empty list shrinking