This is now fixed upstream (tagged as such).
A patch from the pull-request in [1] will be included in the next
patched version to mark this bug solved.

One million thanks to Aaron for his advice and to Gianfranco for his
persistent support with porter machines... this couldn't have been
fixed without you!!

[1] https://github.com/MRPT/mrpt/issues/295

Reply via email to