Skip to content

Remove ok_or in favor of Option::ok_or#607

Merged
Thomasdezeeuw merged 1 commit intorust-lang:masterfrom AngelicosPhosphoros:remove_ok_orDec 17, 2023
+13-24

Commits

Commits on Dec 17, 2023