Subject: Re: bug#63753: [PATCH] * doc/guix.texi (Using Guix Interactively): Fix typo
From: Ludovic Courtès <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Sat, 24 Jun 2023 17:07:10 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi!

This typo was fixed by Efraim in
c1b8f1bc7a67ff8fa8bfe2a1475e23adf3581219.

Thanks,
Ludo’.