Skip to content

Avoid specifying error type since the default is unknown#4086

Merged
robertbrignull merged 1 commit intomainfrom
robertbrignull/error-unknown
Jul 23, 2025
Merged

Avoid specifying error type since the default is unknown#4086
robertbrignull merged 1 commit intomainfrom
robertbrignull/error-unknown

Commits

Commits on Jul 22, 2025