Skip to content

Rename MapInPlace as FlatMapInPlace.#108887

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rename-MapInPlace
Mar 9, 2023
Merged

Rename `MapInPlace` as `FlatMapInPlace`.#108887
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rename-MapInPlace

Commits

Commits on Mar 8, 2023