Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge #1578: Correct help description for
--develop
1a8d0ea Correct help description for --develop (Kristaps Kaupe) Pull request description: #1484 changed the meaning of `--develop`. Top commit has no ACKs. Tree-SHA512: 162d6255ca6750a691a1b9fcb6897b6397fb0345c092bdceb88e2142f5429919fb73f2c7dd5f4d7a54576eb9f9d2409d00f0d33a9f4d458b60fdbd08e72336a1
- Loading branch information