Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
prompter-source: Delete repeated method.
Introduced by mistake in 1702308.
- Loading branch information