From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 20 Nov 2023 00:57:23 +0000 (+0900)
Subject: Merge branch 'vd/glossary-dereference-peel'
X-Git-Tag: v2.43.0~2
X-Git-Url: http://git.ipfire.org/?p=thirdparty%2Fgit.git;a=commitdiff_plain;h=d003a26cca9d872f090185736f9cf97dac23a3df

Merge branch 'vd/glossary-dereference-peel'

"To dereference" and "to peel" were sometimes used in in-code
comments and documentation but without description in the glossary.

* vd/glossary-dereference-peel:
  glossary: add definitions for dereference & peel
---

d003a26cca9d872f090185736f9cf97dac23a3df