Skip to content

Conversation

LinusBorg
Copy link
Member

@LinusBorg LinusBorg commented Feb 22, 2019

The small sentence in the first paragraph isn't specific enough, and the "other options" section at the end of the options list can be easily missed.

@LinusBorg LinusBorg added the docs label Feb 22, 2019
@eddyerburgh eddyerburgh merged commit 0721350 into dev Feb 22, 2019
@eddyerburgh eddyerburgh deleted the LinusBorg-patch-1 branch February 22, 2019 14:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants