4 patches for repository http://darcs.net/screened:
patch a633b62649f61049e0d870eec51e140f038c474b
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat May 23 14:18:47 CEST 2020
* remove an obsolete TODO comment
patch c9a9c87aecfd5217490ffb9432206da8840ffdd6
Author: Ben Franksen <ben.franksen@online.de>
Date: Wed May 27 13:14:01 CEST 2020
* remove redundant constraints in D.P.Match and UI layer
patch 4e12f2a33882a5d0c570219a17902e937f34bd37
Author: Ben Franksen <ben.franksen@online.de>
Date: Wed May 27 13:15:45 CEST 2020
* remove a redundant constraint in RepoPatchV3 core
patch 110ae18291f7726de656692a1ecfc327300a33e4
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat Jun 6 14:22:21 CEST 2020
* remove instance PrimPatchBase PrimWithName