]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'rs/i18n-cannot-be-used-together'
authorJunio C Hamano <gitster@pobox.com>
Mon, 18 Dec 2023 22:10:12 +0000 (14:10 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Dec 2023 22:10:12 +0000 (14:10 -0800)
Clean-up code that handles combinations of incompatible options.

* rs/i18n-cannot-be-used-together:
  i18n: factorize even more 'incompatible options' messages


Trivial merge