darcs

Patch 1376 cleanup: removed an unused export from Darcs.UI.Option...

Title cleanup: removed an unused export from Darcs.UI.Option...
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To
Milestone

Created on 2015-06-22.23:48:56 by bfrk, last changed 2015-07-29.21:31:44 by ganesh.

Files
File name Status Uploaded Type Edit Remove
cleanup_-removed-an-unused-export-from-darcs_ui_options_matching.dpatch bfrk, 2015-06-22.23:48:55 application/x-darcs-patch
patch-preview.txt bfrk, 2015-06-22.23:48:55 text/x-darcs-patch
unnamed bfrk, 2015-06-22.23:48:55
See mailing list archives for discussion on individual patches.
Messages
msg18602 (view) Author: bfrk Date: 2015-06-22.23:48:55
1 patch for repository http://darcs.net/screened:

patch 8b49455a02b19508a42b56c368638fb600aa0899
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date:   Sun Jun 21 13:25:30 CEST 2015
  * cleanup: removed an unused export from Darcs.UI.Options.Matching
Attachments
History
Date User Action Args
2015-06-22 23:48:56bfrkcreate
2015-06-24 06:23:30bfrksetstatus: needs-screening -> needs-review
2015-07-29 18:06:16ganeshsetstatus: needs-review -> accepted-pending-tests
2015-07-29 21:31:44ganeshsetstatus: accepted-pending-tests -> accepted