Bug#933469: Solved

[Jose Luis Blanco]

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