]> git.99rst.org Git - git.git/commitdiff
Merge branch 'jk/document-pack-redundant-deprecation'
authorJunio C Hamano <redacted>
Thu, 6 Apr 2023 20:38:27 +0000 (13:38 -0700)
committerJunio C Hamano <redacted>
Thu, 6 Apr 2023 20:38:28 +0000 (13:38 -0700)
Document that we have marked "pack-redundant" as deprecated.

* jk/document-pack-redundant-deprecation:
  pack-redundant: document deprecation


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