Bug#242761: err, patch

2004-04-08 Thread Mike Furr
_now_ its attached. -- Mike Furr [EMAIL PROTECTED] 1024D/124B26F3 5B9F 587F BC5C D823 50CE 4DB0 ED93 CA29 124B 26F3 diff -urN coq-7.3.1.orig/config/Makefile coq-7.3.1/config/Makefile --- coq-7.3.1.orig/config/Makefile 2004-04-08 14:25:25.0 -0400 +++ coq-7.3.1/config/Makefile 2004-04-08

Re: Bug#242761: err, patch

2004-04-08 Thread Michael Furr
On Thu, 8 Apr 2004, Ralf Treinen wrote: Mike, thanks a lot for the patch. I'll look into this and upload the patched package over the weekend. I just realize that I forgot to clean it up before sending. It really should only include the changes in debian/control and debian/rules. Sorry about

Bug#242761: err, patch

2004-04-08 Thread Mike Furr
_now_ its attached. -- Mike Furr [EMAIL PROTECTED] 1024D/124B26F3 5B9F 587F BC5C D823 50CE 4DB0 ED93 CA29 124B 26F3 diff -urN coq-7.3.1.orig/config/Makefile coq-7.3.1/config/Makefile --- coq-7.3.1.orig/config/Makefile 2004-04-08 14:25:25.0 -0400 +++ coq-7.3.1/config/Makefile 2004-04-08

Re: Bug#242761: err, patch

2004-04-08 Thread Ralf Treinen
On Thu, Apr 08, 2004 at 03:06:29PM -0400, Mike Furr wrote: _now_ its attached. Mike, thanks a lot for the patch. I'll look into this and upload the patched package over the weekend. Cheers -Ralf. --

Re: Bug#242761: err, patch

2004-04-08 Thread Michael Furr
On Thu, 8 Apr 2004, Ralf Treinen wrote: Mike, thanks a lot for the patch. I'll look into this and upload the patched package over the weekend. I just realize that I forgot to clean it up before sending. It really should only include the changes in debian/control and debian/rules. Sorry about