Subject: Re: [PATCH 0/5] Lisp-Stat

From: Guillaume Le Vaillant <[email-masked]>
Date: Fri, 17 Feb 2023 18:20:07 +0000

I applied the patches using manual copy/paste/fix, and pushed them as
5302cfab43ed5e1b9f41a00663564dabb35503d2 and following.