Skip to content

Replace panic! with Option in to_obj_section_kind#25

Merged
encounter merged 1 commit intoencounter:mainfrom
NickCondron:remove-panic
Jan 21, 2023
Merged

Replace panic! with Option in `to_obj_section_kind`#25
encounter merged 1 commit intoencounter:mainfrom
NickCondron:remove-panic

Commits

Commits on Jan 21, 2023