Merge branch 'jb/parse-options-message-fix' into maint
commit0ecc7d62f4253d27c253736b3857cdde99484d71
authorJunio C Hamano <gitster@pobox.com>
Fri, 14 Feb 2020 20:42:32 +0000 (14 12:42 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 14 Feb 2020 20:42:32 +0000 (14 12:42 -0800)
tree10a6a3a2613c3751330a84868b81b2102787ee9f
parent1ea6edfd55c409cc3b7628d75363f73ead666518
parent395518cf7a290f78232979593351d366a228e5c0
Merge branch 'jb/parse-options-message-fix' into maint

Error message fix.

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