Skip to content

delegation: Implement glob delegation#124135

Merged
bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:deleglob
Jun 19, 2024
Merged

delegation: Implement glob delegation#124135
bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:deleglob

delegation: Implement glob delegation

22d0b1e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs