-
Alexandre Duret-Lutz authored
Fixes #235, reported by Henrich Lauko. * python/spot/ltsmin.i: Catch CalledProcessError. * NEWS: Mention the bug. * THANKS: Add Henrich.
d2e9515c
Fixes #235, reported by Henrich Lauko. * python/spot/ltsmin.i: Catch CalledProcessError. * NEWS: Mention the bug. * THANKS: Add Henrich.