On Wed, 2011-03-02 at 21:29 +0100, Mehdi Dogguy wrote: > I’d like to propose the following change for Why. [...] > +++ b/debian/patches/0007-Squeeze-s-Coq-is-also-compatible.patch > @@ -0,0 +1,22 @@ > +From: Mehdi Dogguy <[email protected]> > +Date: Thu, 20 Jan 2011 20:56:15 +0100 > +Subject: [PATCH] Squeeze's Coq is also compatible
Complete debdiffs including changelog entries are generally appreciated. In any case, please go ahead. Regards, Adam -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
