darcs

Patch 1610 add foldFL_M to D.P.W.Ordered (and 1 more)

Title add foldFL_M to D.P.W.Ordered (and 1 more)
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2017-10-04.06:15:45 by bf, last changed 2017-10-09.15:40:28 by gh.

Files
File name Status Uploaded Type Edit Remove
add-foldfl_m-to-d_p_w_ordered.dpatch bf, 2017-10-04.06:15:44 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg19695 (view) Author: bf Date: 2017-10-04.06:15:44
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Oct  1 09:51:32 CEST 2017
  * add foldFL_M to D.P.W.Ordered

Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Oct  1 09:54:15 CEST 2017
  * use foldFL_M in D.R.Hashed
Attachments
msg19713 (view) Author: gh Date: 2017-10-09.15:40:28
Nice (maybe it could have been a single patch).

Accepted.
History
Date User Action Args
2017-10-04 06:15:45bfcreate
2017-10-04 06:16:40bfsetstatus: needs-screening -> needs-review
2017-10-09 15:40:28ghsetstatus: needs-review -> accepted
messages: + msg19713