Thanks, Matthias for reporting.

The issue is now fixed upstream [1].
We'll make a new Debian release of the package soon to close this bug.

Cheers,
JL

[1] Branch "develop" of http://github.com/MRPT/mrpt/ as of today's
version, commit hash
3b01ad11af786acd129f05152fdbfb505086509c

Reply via email to