Hello,
On Mon, Nov 22, 2004 at 12:56:03PM +0100, Sven Luther wrote:
> Err, if you add a patch tag, you are supposed to supply a patch also.
There has been a patch supplied already:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=245847
Check the mail from yoriyuki@mbg.ocn.ne.jp on May 14th. On June 8th
Philipp Weis confirmed that the patch solves the problem. And note
that I did not claim to send a patch myself, I just tagged it patch,
because there has been one provided already.
I acted according to
http://www.debian.org/Bugs/Developer.en.html
where it says:
patch
A patch or some other easy procedure for fixing the bug is
included in the bug logs. If there's a patch, but it doesn't
resolve the bug adequately or causes some other problems, this tag
should not be used.
The patch was already included in the bug report, and according to the
submitter the patch solves the problem. There was no mail to the
contrary in the bug log, so I assumed that there were no unwanted
side-effects.
Since I will start trying advi in a few minutes, and hence have no
insight yet, by all means remove the tag if it is not adequate.
And if I misunderstood the instructions for using tags I'd be happy
for pointers to better documentation.
Greetings
Helge
--
Helge Kreutzmann, Dipl.-Phys. Helge.Kreutzmann@itp.uni-hannover.de
gpg signed mail preferred
64bit GNU powered http://www.itp.uni-hannover.de/~kreutzm
Help keep free software "libre": http://www.freepatents.org/
Attachment:
pgpEUPUZExUtM.pgp
Description: PGP signature