Document Error::{new,other} as to be avoided in pre_exec#148971
Merged
bors merged 1 commit intorust-lang:mainfrom Nov 16, 2025
Merged
Document Error::{new,other} as to be avoided in pre_exec#148971bors merged 1 commit intorust-lang:mainfrom
bors merged 1 commit intorust-lang:mainfrom