Patch 1258: In CommandControl, push the existential down into the ... - Darcs bug tracker

Title	In CommandControl, push the existential down into the ...
Superseder		Nosy List	bfrk
Related Issues
Status	accepted	Assigned To
Milestone	2.10.0

Created on 2015-02-05.12:30:11 by bfrk, last changed 2015-02-12.18:37:27 by gh.

Files
File name	Status	Uploaded	Type	Edit	Remove
in-commandcontrol_-push-the-existential-down-into-the-alternatives.dpatch		bfrk, 2015-02-05.12:30:11	application/x-darcs-patch
patch-preview.txt		bfrk, 2015-02-05.12:30:11	text/x-darcs-patch
unnamed		bfrk, 2015-02-05.12:30:11

See mailing list archives for discussion on individual patches.

Messages
msg18009 (view)	Author: bfrk	Date: 2015-02-05.12:30:11
Seems I forgot to ever send this patch so it did not appear in the tracker. It is already in screened, will self-accept. 1 patch for repository http://darcs.net/reviewed: patch 371167fdced425f6db2db74c5036815733ee1090 Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de> Date: Fri Nov 14 19:29:40 CET 2014 * In CommandControl, push the existential down into the alternatives Attachments in-commandcontrol_-push-the-existential-down-into-the-alternatives.dpatch patch-preview.txt unnamed
msg18104 (view)	Author: gh	Date: 2015-02-12.18:37:27
Pushed to branch 2.10.

History
Date	User	Action	Args
2015-02-05 12:30:12	bfrk	create
2015-02-05 12:30:35	bfrk	set	status: needs-screening -> accepted milestone: 2.10.0
2015-02-12 18:37:27	gh	set	messages: + msg18104