1.3.15-frama.2
d3121b37
·
Make sure plugins cannot be executed before theu have had all the sanity checks done
·
Jun 25, 2025