-
Andre Maroneze authored
Thanks to Mehdi Dogguy for pointing the issue and suggesting the patch, applied to the Debian Frama-C package.
6d4ade57
Thanks to Mehdi Dogguy for pointing the issue and suggesting the patch, applied to the Debian Frama-C package.