On Mon, Aug 17, 2020 at 6:42 AM Oliver Kaiser <[email protected]> wrote:
> sure; that seems to fix it > Thank *you* for doing almost the whole work here: spotting the issue, creating a test case, suggesting the fix (which was exactly what you suggested) then confirming it. :) > > thank you, > Oliver > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > > -- Thiago
