Re: [SRM] Stable update for Frama-C

["Adam D. Barratt" <adam@adam-barratt.org.uk>]

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