On Tue, 2010-09-07 at 11:54 +0200, Mehdi Dogguy wrote:
> I received a tiny patch from upstream which fixes a performance bug
> that could lead to a "stack overflow" error (a crash) during large
> analyses.
[...]
> Would it be ok for upload an updated Frama-C package with this change
> only?  Uploading a new Frama-C would require rebuilding Why as well on
> all architectures because it provides a plugin for Frama-C which
> contains a hash of some internal modules of Frama-C (that's needed by
> OCaml).

Please go ahead, and let us know once the package has been accepted.

Regards,

Adam



--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: 
http://lists.debian.org/[email protected]

Reply via email to