histedit folding "delete, re-add" is broken

Thread:: histedit folding "delete, re-add" is broken

2023-03-07 00:24 Christian Weisgerber:
histedit folding "delete, re-add" is broken
- 2023-03-07 09:37 Stefan Sperling:
  histedit folding "delete, re-add" is broken
- - 2023-03-08 16:35 Stefan Sperling:
    histedit folding "delete, re-add" is broken
  - - 2023-03-09 16:55 Omar Polo:
      histedit folding "delete, re-add" is broken