| commit | 9438bc06a26fe06f00bb76193c49d77d986c6a57 | [log] [tgz] |
|---|---|---|
| author | Adam Rutkowski <hq@mtod.org> | Fri Aug 18 17:09:40 2017 +0200 |
| committer | Adam Rutkowski <hq@mtod.org> | Fri Aug 18 17:12:55 2017 +0200 |
| tree | 3dfedaec1ce4742a04d67c9c05e94add7b0cd7f7 | |
| parent | 0c05b1b5ace1dfa7bd0ec4c80b16e2815c795c77 [diff] |
Fix stdout reporting of shrinking phase