Re: [Spot] Spot bug?

On Fri, May 17, 2019 at 9:02 PM Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:

Thanks for this report.

This should all be fixed now. -- Alexandre Duret-Lutz