tree 3dfedaec1ce4742a04d67c9c05e94add7b0cd7f7
parent 0c05b1b5ace1dfa7bd0ec4c80b16e2815c795c77
author Adam Rutkowski <hq@mtod.org> 1503068980 +0200
committer Adam Rutkowski <hq@mtod.org> 1503069175 +0200

Fix stdout reporting of shrinking phase