Patch 2213 fix the order of parameters to Tagged

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

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

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.
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.
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
Date User Action Args
2021-11-04 06:40:47bfrkcreate
2021-11-04 06:41:22bfrksetstatus: needs-screening -> needs-review
2023-03-19 00:33:32ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg23151
2023-03-22 21:52:21bfrksetmessages: + msg23164
2023-03-24 23:21:50ganeshsetstatus: accepted-pending-tests -> accepted