Subject: Re: bug#63753: [PATCH] * doc/guix.texi (Using Guix Interactively): Fix typo

From: Ludovic Courtès <[email-masked]>
Date: Sat, 24 Jun 2023 17:07:10 +0200

Hi!

This typo was fixed by Efraim in
c1b8f1bc7a67ff8fa8bfe2a1475e23adf3581219.

Thanks,
Ludo’.