Correct wording of warning message #106

Closed
eschnett wants to merge 1 commits from patch-2 into master
eschnett commented 2018-01-15 16:04:30 +01:00 (Migrated from github.com)

"certain" -> "some"

"certain" -> "some"
lspitzner commented 2018-01-15 23:27:04 +01:00 (Migrated from github.com)

thanks, could you change merge target to dev pls?

thanks, could you change merge target to `dev` pls?

Pull request closed

Sign in to join this conversation.
There is no content yet.