Subject: Re: bug#22727: Managing packages writes the user init file

From: Nicolas Richard <[email-masked]>
Date: Fri, 19 Feb 2016 07:36:50 +0100

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.