Subject: Re: bug#68857: gnu: home: dotfiles: Avoid creating extra directory in $HOME.

From: paul <[email-masked]>
Date: Tue, 27 Feb 2024 12:32:43 +0100

Ah obviously I replied to you with the wrong address 
([email-masked]) thanks to Thunderbird :( apologies for the 
confusion.

giacomo