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