]> git.99rst.org Git - git.git/commitdiff
Merge branch 'rs/i18n-cannot-be-used-together'
authorJunio C Hamano <redacted>
Mon, 18 Dec 2023 22:10:12 +0000 (14:10 -0800)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT