Merge branch 'jb/parse-options-message-fix' into maint
authorJunio C Hamano <redacted>
Fri, 14 Feb 2020 20:42:32 +0000 (12:42 -0800)
committerJunio C Hamano <redacted>
Fri, 14 Feb 2020 20:42:32 +0000 (12:42 -0800)
Error message fix.

* jb/parse-options-message-fix:
  parse-options: lose an unnecessary space in an error message


Trivial merge
git clone https://git.99rst.org/PROJECT