Patch 2213 fix the order of parameters to Tagged

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

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

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.
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.
msg23151 (view) Author: ganesh Date: 2023-03-19.00:33:32
I shall trust that the typechecker would spot any mistakes with this!
Date User Action Args
2021-11-04 06:40:47bfcreate
2021-11-04 06:41:22bfsetstatus: needs-screening -> needs-review
2023-03-19 00:33:32ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg23151