Skip to content

Conversation

@HonkingGoose
Copy link
Contributor

@HonkingGoose HonkingGoose commented Apr 4, 2019

Hi @ben, this is the pull-request you asked for at issue #590.

This implements the proposal made by @YueLinHo.
Closes #590

@ben ben merged commit 8d46e0c into progit:master Apr 15, 2019
@HonkingGoose HonkingGoose deleted the issue_590 branch April 20, 2019 22:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Possible misspelling in Chapter 3

2 participants