This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Allow `retract_tip` on `tip_new`#6511

Merged

7 commits merged intomasterfrom

shawntabrizi-retract-tip

Jun 29, 2020

Commits on Jun 25, 2020