On 07/09/2010 20:06, Adam D. Barratt wrote:
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: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: freeze-exception
Hi release team,
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. The patch is as
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
3 matches
Mail list logo