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
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