Subject: Re: bug#54666: Installation without non-root user accounts
From: Mathieu Othacehe <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Wed, 06 Apr 2022 21:20:58 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hey!

> Nitpick: you can omit ‘begin’ here.

Fixed it before pushing, thanks for having a look.

Mathieu