Hi Lars,

Lars Rustand <rustand.lars@gmail.com> writes:

> This issue can be closed.

You can close issues by replying to XXXX-done@debbugs.gnu.org instead of
XXXX@, as I'm doing here.

Best,
-- 
Josselin Poiret