Patch 2213: fix the order of parameters to Tagged - Darcs bug tracker

Title	fix the order of parameters to Tagged
Superseder		Nosy List	bf
Related Issues
Status	accepted-pending-tests	Assigned To
Milestone

Created on 2021-11-04.06:40:47 by bf, last changed 2023-03-19.00:33:32 by ganesh.

Files
File name	Status	Uploaded	Type	Edit	Remove
fix-the-order-of-parameters-to-tagged.dpatch		bf, 2021-11-04.06:40:47	application/x-darcs-patch
patch-preview.txt		bf, 2021-11-04.06:40:47	text/x-darcs-patch

See mailing list archives for discussion on individual patches.

Messages
msg22916 (view)	Author: bf	Date: 2021-11-04.06:40:47
1 patch for repository http://darcs.net/screened: patch 505bc7c556d64bacec5ca1e64ec5d71373ba6b9b Author: Ben Franksen <ben.franksen@online.de> Date: Sat Mar 27 06:02:59 CET 2021 * fix the order of parameters to Tagged The order is now 'Tagged patches tag hash', i.e. patches come before the tag that covers them. I should have done this years ago when I established the convention that patches always appear in left to right application order. Attachments fix-the-order-of-parameters-to-tagged.dpatch patch-preview.txt
msg23151 (view)	Author: ganesh	Date: 2023-03-19.00:33:32
I shall trust that the typechecker would spot any mistakes with this!

History
Date	User	Action	Args
2021-11-04 06:40:47	bf	create
2021-11-04 06:41:22	bf	set	status: needs-screening -> needs-review
2023-03-19 00:33:32	ganesh	set	status: needs-review -> accepted-pending-tests messages: + msg23151