Skip to content

Enable review-requested feature for rustbot#116776

Merged
bors merged 1 commit intorust-lang:masterfrom
WaffleLapkin:hell-yeah-review-requested
Oct 16, 2023
Merged

Enable `review-requested` feature for rustbot#116776
bors merged 1 commit intorust-lang:masterfrom
WaffleLapkin:hell-yeah-review-requested

Commits

Commits on Oct 15, 2023