Skip to content

Comments

fixes lifetime issue in OperationResult::owner()#784

Merged
raviqqe merged 2 commits intomlir-rs:mainfrom
tim-hoffman:main
Jan 7, 2026
Merged

fixes lifetime issue in OperationResult::owner()#784
raviqqe merged 2 commits intomlir-rs:mainfrom
tim-hoffman:main

Commits