]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'rs/parse-options-concat-dup'
authorJunio C Hamano <gitster@pobox.com>
Mon, 17 Feb 2020 21:22:17 +0000 (13:22 -0800)
committerJunio C Hamano <gitster@pobox.com>
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