1 patch for repository http://darcs.net/screened:
patch 32b508493514d5c861dd9a654935edf6f82e5ef9
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Feb 28 11:10:20 CET 2020
* fix in patch info shrinker
It mixed up the parameters to rawPatchInfo.