histedit folding "delete, re-add" is broken

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

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