Skip to content

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

Merged
daviddao merged 2 commits into
stagingfrom
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

fix: delete history in the same transaction as the record (staging port)

625d8ae
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar