darcs

Patch 1670 adapt haddocks and type of withNewDirectory

Title adapt haddocks and type of withNewDirectory
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2018-03-25.23:40:39 by bf, last changed 2018-03-27.13:13:02 by gh.

Files
File name Status Uploaded Type Edit Remove
adapt-haddocks-and-type-of-withnewdirectory.dpatch bf, 2018-03-25.23:40:38 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg20035 (view) Author: bf Date: 2018-03-25.23:40:38
Patch1646 that resolved issue2566 involved a change of semantics for
withNewDirectory but did not adapt the haddocks.

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

patch fd186a83a133b6cf40804d724fa2094d5409014f
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Mar 26 01:26:53 CEST 2018
  * adapt haddocks and type of withNewDirectory
Attachments
msg20049 (view) Author: gh Date: 2018-03-27.13:13:02
Trivial, accepted
History
Date User Action Args
2018-03-25 23:40:39bfcreate
2018-03-27 13:06:44ghsetstatus: needs-screening -> needs-review
2018-03-27 13:13:02ghsetstatus: needs-review -> accepted
messages: + msg20049