Skip to content

fix: allow warn_unreachable to be set to False explicitly#353

Merged
henryiii merged 1 commit into
mainfrom
henryiii/fix/warn_unreachable
Dec 22, 2023
Merged

fix: allow warn_unreachable to be set to False explicitly#353
henryiii merged 1 commit into
mainfrom
henryiii/fix/warn_unreachable

Commits

Commits on Dec 22, 2023