Subject: Re: bug#22727: Managing packages writes the user init file
From: Nicolas Richard <[email-masked]>
To: Angelo Graziosi <[email-masked]>
Cc: Eli Zaretskii <[email-masked]>, [email-masked], [email-masked]
Date: Fri, 19 Feb 2016 07:36:50 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Angelo Graziosi <[email-masked]> writes:
>                          please close this bug report (who is
> interested could always reopen another)

done.

Note that you can do that yourself by appending -done to the bug number
in the bug address (I did just that).

Nicolas.