Ingo Karkat 28523851d0 replace: Completely merge given priority / date with existing ...

So that any combination of priority / date entered in the replacement will replace the corresponding original ones, but if they are left out, the original ones will be kept.
In essence, omitted stuff will be kept, added stuff will override, only deletion of existing stuff is not possible (but this is replace, after all).

Fixes #386

2022-06-17 23:12:35 +02:00

5.1 KiB

Executable File

Raw Blame History

View Raw