2 patches for repository http://darcs.net/screened:
patch 1a19df5add1382f1ccd223b3779f83700cc7bceb
Author: Ben Franksen <ben.franksen@online.de>
Date: Tue Mar 28 19:24:30 CEST 2023
* accept issue2074: cancelling an operation is not failure
patch b3821b93708042ba3b9b99131194d33689d3d3e8
Author: Ben Franksen <ben.franksen@online.de>
Date: Tue Mar 28 19:21:14 CEST 2023
* resolve issue2074: cancelling an operation is not failure
See for instance D.R.Merge where we do the same.