tags 970837 + fixed-upstream

Thanks!
It's been fixed upstream in
https://github.com/MRPT/mrpt/commit/767e764c7df58c22f803cb5223fc2445ed8c80f3

JL

Reply via email to