darcs

Patch 2060 extend comment about import of a DarcsFlag data constr...

Title extend comment about import of a DarcsFlag data constr...
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-07-19.22:14:39 by bf, last changed 2020-07-20.07:40:12 by ganesh.

Files
File name Status Uploaded Type Edit Remove
extend-comment-about-import-of-a-darcsflag-data-constructor.dpatch bf, 2020-07-19.22:14:39 application/x-darcs-patch
patch-preview.txt bf, 2020-07-19.22:14:39 text/x-darcs-patch
unnamed bf, 2020-07-19.22:14:39 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22200 (view) Author: bf Date: 2020-07-19.22:14:39
Following up on review of patch2038

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

patch 2e8d57895dd76af27fa892a8b8e9ebcd374340b4
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jul 20 00:17:15 CEST 2020
  * extend comment about import of a DarcsFlag data constructor
Attachments
msg22211 (view) Author: ganesh Date: 2020-07-20.06:31:01
Thanks
History
Date User Action Args
2020-07-19 22:14:39bfcreate
2020-07-19 22:16:32bfsetstatus: needs-screening -> needs-review
2020-07-20 06:31:01ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg22211
2020-07-20 07:40:12ganeshsetstatus: accepted-pending-tests -> accepted