Re: [SRM] Stable update for Frama-C
On 03/08/2011 09:27 PM, Adam D. Barratt wrote:
> 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
>>>> I’d like to propose the following change for Frama-C.
>>> accepting this change would mean that a recompilation of why is
>>> needed, correct?
> Please go ahead. <#insert previous-comment-about-debdiffs>
Sorry for having wasted your time reviewing my patch. Unfortunately, I
won't have enough time to upload this package this time. I'll ask again
for next point release, if that's still possible.
Mehdi Dogguy مهدي الدڤي