On Wed, 2011-03-02 at 22:02 +0100, Mehdi Dogguy wrote: > On 03/02/2011 10:04 PM, Philipp Kern wrote: > > > > am Wed, Mar 02, 2011 at 09:40:16PM +0100 hast du folgendes geschrieben: > >> I’d like to propose the following change for Frama-C. > > > > accepting this change would mean that a recompilation of why is needed, > > correct? > > > > correct.
Please go ahead. <#insert previous-comment-about-debdiffs> > (and there is a pending request for Why too). Which I just acked, but then noticed that Phil already did that a few days ago... Regards, Adam -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

