Merge branch 'rs/parse-options-concat-dup'
authorJunio C Hamano <redacted>
Mon, 17 Feb 2020 21:22:17 +0000 (13:22 -0800)
committerJunio C Hamano <redacted>
Mon, 17 Feb 2020 21:22:17 +0000 (13:22 -0800)
Code clean-up.

* rs/parse-options-concat-dup:
  parse-options: simplify parse_options_dup()
  parse-options: const parse_options_concat() parameters
  parse-options: factor out parse_options_count()
  parse-options: use COPY_ARRAY in parse_options_concat()


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