Patch 2025 assorted cleanups

Title assorted cleanups
Superseder Nosy List bf
Related Issues
Status accepted Assigned To

Created on 2020-06-20.08:02:47 by bf, last changed 2020-06-20.09:20:43 by bf.

File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2020-06-20.08:02:47 text/x-darcs-patch
remove-an-obsolete-todo-comment.dpatch bf, 2020-06-20.08:02:47 application/x-darcs-patch
unnamed bf, 2020-06-20.08:02:47 text/plain
See mailing list archives for discussion on individual patches.
msg22037 (view) Author: bf Date: 2020-06-20.08:02:47
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
msg22043 (view) Author: bf Date: 2020-06-20.09:20:43
Trivial, self-accept.
Date User Action Args
2020-06-20 08:02:47bfcreate
2020-06-20 08:04:41bfsetstatus: needs-screening -> needs-review
2020-06-20 09:20:43bfsetstatus: needs-review -> accepted
messages: + msg22043