dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: removing packaging/deb/*


From: Baurzhan Ismagulov
Subject: Re: removing packaging/deb/*
Date: Wed, 13 Jul 2005 09:43:59 +0200
User-agent: Mutt/1.5.6+20040907i

Hello Ben,

On Mon, Jul 11, 2005 at 10:03:22AM +1000, Ben Elliston wrote:
> I would like to delete these files from the source tree.  The Debian
> package maintainer has assured me that he has _never_ used these as
> the basis for the Debian DejaGnu package.  I don't think we should be
> expending any effort on maintaining files that are already looked
> after by distro package maintainers.

Why not copy the maintainer's files to the source tree? I like having
debian/ in HEAD to quickly check whether a bug exists also in CVS.

With kind regards,
Baurzhan.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]