Merge branch 'jc/maybe-unused'
commit4476304a06e6dad284e0d75245cd32f01a01a8c7
authorJunio C Hamano <gitster@pobox.com>
Fri, 6 Sep 2024 17:38:50 +0000 (6 10:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 6 Sep 2024 17:38:50 +0000 (6 10:38 -0700)
treeca1eed236df5eaef10c2a41eacfd7be10e178da1
parent5ecd5fa58b3315d6bdd6ef9218c7ae442782bc5d
parenta051ca5e650138230f3dd61bda911f0f409ebf23
Merge branch 'jc/maybe-unused'

Developer doc updates.

* jc/maybe-unused:
  CodingGuidelines: also mention MAYBE_UNUSED