Skip to content

Mark methods from operations API as #[must_use] where appropriate#1934

Merged
hannobraun merged 5 commits into
mainfrom
must_use
Jul 11, 2023
Merged

Mark methods from operations API as #[must_use] where appropriate#1934
hannobraun merged 5 commits into
mainfrom
must_use

Commits

Commits on Jul 11, 2023