Skip to content

fix: clippy "needless lifetimes" warning (closes #1825)#1852

Merged
gbj merged 1 commit intomainfrom 1825Oct 6, 2023

Commits

Commits on Oct 6, 2023