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

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 
>>> 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>

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 مهدي الدڤي

Reply to: