Skip to content

Fix oudated comment for NamedRegionMap#70177

Merged
bors merged 1 commit into
rust-lang:masterfrom
bjorn3:patch-2
Mar 21, 2020
Merged

Fix oudated comment for NamedRegionMap#70177
bors merged 1 commit into
rust-lang:masterfrom
bjorn3:patch-2

Fix oudated comment for NamedRegionMap

3f6236e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs