On Mon, Aug 15, 2016 at 12:41:49AM +0200, JOSE LUIS BLANCO CLARACO wrote: > I couldn't replicate this particular crash in my machine with Eigen > 3.3beta1, but I guess where the error is and have pushed a patch. The > package is now in mentors: [1]. > > I tested it 100% on my local system and in a pbuild (sid) environment, > without any problem, so hopefully this one will make it! > > Cheers, > > [1] https://mentors.debian.net/debian/pool/main/m/mrpt/mrpt_1.4.0-7.dsc
Ok, I trust you :-) Uploaded. Thanks.
