4 patches for repository http://darcs.net/screened:
patch a1a6d933118b7fb751a8b41a6dcb682f810c7c1f
Author: Ben Franksen <ben.franksen@online.de>
Date: Mon Oct 19 10:28:12 CEST 2020
* resolve issue2659: check for bad patch name after invoking editor, too
patch eddd7ae2b70d466f43a3b1008c615788033e3d05
Author: Ben Franksen <ben.franksen@online.de>
Date: Mon Oct 19 10:29:54 CEST 2020
* D.UI.PatchHeader: define is_badname in terms of just_a_badname
patch d731955210c5716cadcd03ddcfef2fc5ea100de2
Author: Ben Franksen <ben.franksen@online.de>
Date: Mon Oct 19 10:30:44 CEST 2020
* D.UI.PatchHeader: add "error" prefix to bad patch name error messages
This makes it a bit clearer that the operation failed.
patch defa429086b2847cca7df5efa87c86197182ac25
Author: Ben Franksen <ben.franksen@online.de>
Date: Mon Oct 19 13:50:51 CEST 2020
* remove an obsolete TODO comment