[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bugfix for #42710
|
From: |
Julien Bect |
|
Subject: |
Re: bugfix for #42710 |
|
Date: |
Mon, 11 Jul 2016 12:39:39 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.1.0 |
Le 11/07/2016 à 12:40, Ernst Reissner a écrit :
Hi All, I fixed bug 42710 locally. What is the procedure to close the
bug? Thanks for informing me. Ernst
Hi,
The recommended procedure is to create a patch (mercurial changeset) and
post it to the bug tracker :
https://savannah.gnu.org/bugs/?42710
@++
Julien