Subject: Re: bug#53439: [PATCH] doc: Document search paths.

From: Ludovic Courtès <[email-masked]>
Date: Sun, 23 Jan 2022 23:41:26 +0100

Pushed as 3878cf96183a27d63d374378d3044fd091231d0c with a couple of
tweaks that you suggested, though now I realize I forgot the “when true”
bit.

Ludo’.