Skip to content

fix: error message for discard#183

Merged
ianlewis merged 1 commit intomainfrom
182-bug-error-message-should-use-derr
Jan 26, 2026
Merged

fix: error message for discard#183
ianlewis merged 1 commit intomainfrom
182-bug-error-message-should-use-derr

Commits

Commits on Jan 26, 2026