Repository navigation

Record history honors deletion (staging port of #137) - #138

Merged

daviddao merged 2 commits into

record-history-honor-deletes-staging

Sep 23, 2026

Merged

Record history honors deletion (staging port of #137)#138
daviddao merged 2 commits into
stagingfrom
record-history-honor-deletes-staging

Commits on Sep 23, 2026
- fix: record history honors record and account deletion (staging port of #137)
  daviddao
  committed
  63d10a1
- fix: delete history in the same transaction as the record (staging port)
  daviddao
  committed
  625d8ae