triagebot: remove jsha from notifications for rustdoc HTML#149008
Merged
bors merged 1 commit intorust-lang:mainfrom Nov 17, 2025
Merged
triagebot: remove jsha from notifications for rustdoc HTML#149008bors merged 1 commit intorust-lang:mainfrom
bors merged 1 commit intorust-lang:mainfrom