Skip to content

Comments

Remove "renamed" feature#100

Merged
bors[bot] merged 1 commit intomasterfrom
renamed
Sep 21, 2019
Merged

Remove "renamed" feature#100
bors[bot] merged 1 commit intomasterfrom
renamed

Commits

Commits on Sep 21, 2019