Jose Luis Blanco Sat, 12 Oct 2019 09:15:55 -0700
This bug has been solved with the new uploaded version: mrpt 1:1.5.8-1 Already sent a mail to cont...@bugs.debian.org to mark it as solved.
Cheers, JL
