José Luis Blanco-Claraco Thu, 01 Oct 2020 10:49:24 -0700
Thanks, Scott, it worked! https://buildd.debian.org/status/package.php?p=mrpt&suite=sid
JL