-
Alexandre Duret-Lutz authored
* bench/emptchk/pml2tgba.pl: Stop checking for version start lines depending on the Spin version. This check was never always correct. Reported by Étienne Renault.
71d1a4fe
* bench/emptchk/pml2tgba.pl: Stop checking for version start lines depending on the Spin version. This check was never always correct. Reported by Étienne Renault.