Hi Efraim,

On Mon, 07 Dec 2020 at 13:00, Efraim Flashner <[email protected]> wrote:

> Thanks for following up!

Thank you for taking the time to close such old bug as #26715.  Cool!

Cheers,
simon



Reply via email to