Patch 1851 fix warning in Darcs.Patch.V3.Core

Title fix warning in Darcs.Patch.V3.Core
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To

Created on 2019-07-14.18:49:33 by ganesh, last changed 2019-07-28.19:38:56 by ganesh.

File name Status Uploaded Type Edit Remove
fix-warning-in-darcs_patch_v3_core.dpatch dead ganesh, 2019-07-14.18:49:33 application/x-darcs-patch
patch-preview.txt ganesh, 2019-07-14.18:49:33 text/x-darcs-patch
patch-preview.txt bf, 2019-07-15.15:49:51 text/x-darcs-patch
unnamed ganesh, 2019-07-14.18:49:33 text/plain
unnamed bf, 2019-07-15.15:49:51 text/plain
use-neighbors-in-darcs_patch_v3_core_alternatives.dpatch bf, 2019-07-15.15:49:51 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg20940 (view) Author: ganesh Date: 2019-07-14.18:49:33
Warning fix for screened. I'll wait a day or two before
screening in case you have a different preferred fix.

1 patch for repository darcs-unstable@darcs.net:screened:

patch 1457165ae140768713c0af6d824805b881b4894a
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sun Jul 14 18:43:49 BST 2019
  * fix warning in Darcs.Patch.V3.Core
msg20941 (view) Author: bf Date: 2019-07-15.15:49:51
Thanks. Indeed, there is one place where using 'neighbors' is the right
choice because it allows us to use function composition.

1 patch for repository http://darcs.net/screened:

patch 5bcc2f56afe63fbcaa4287e6dea1b756de749920
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jul 15 17:45:00 CEST 2019
  * use neighbors in Darcs.Patch.V3.Core.alternatives
Date User Action Args
2019-07-14 18:49:33ganeshcreate
2019-07-15 15:49:51bfsetfiles: + patch-preview.txt, use-neighbors-in-darcs_patch_v3_core_alternatives.dpatch, unnamed
messages: + msg20941
2019-07-16 09:18:29bfsetstatus: needs-screening -> needs-review
2019-07-28 14:13:32ganeshsetstatus: needs-review -> accepted-pending-tests
2019-07-28 19:38:56ganeshsetstatus: accepted-pending-tests -> accepted