Trivial cleanups, will self-accept.
3 patches for repository http://darcs.net/screened:
patch d7ee08f51fb51f50038d432c0df6e2011f4df505
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat Jul 1 08:11:19 CEST 2023
* trivial simplification
patch 8de38dd6b119a48f388de669bcbe6b1011a8f579
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat Jul 29 16:06:22 CEST 2023
* tests/mark-conflicts.sh cleanup
patch c59efa383a146be7e26958a24d1975cfee17dde2
Author: Ben Franksen <ben.franksen@online.de>
Date: Tue Aug 1 15:59:53 CEST 2023
* remove two obsolete re-exports
1 patch for repository http://darcs.net/screened:
patch f0472b439ce5467adf43c7d46536a1e6df54074d
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat Aug 19 16:06:19 CEST 2023
* fix tests/mark-conflicts.sh
Before patch 8de38dd6 "tests/mark-conflicts.sh cleanup" we did not source
lib, and therefore did not set -e, so the grep failures were ignored.