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

Title	fix the order of parameters to Tagged
Superseder		Nosy List	bfrk
Related Issues
Status	accepted	Assigned To
Milestone

Created on 2021-11-04.06:40:47 by bfrk, last changed 2023-03-24.23:21:50 by ganesh.

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

See mailing list archives for discussion on individual patches.

Messages
msg22916 (view)	Author: bfrk	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!
msg23164 (view)	Author: bfrk	Date: 2023-03-22.21:52:21
:-)

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