From: Tino Calancha <tino.calancha@gmail.com>
Date: Mon, 3 Aug 2020 21:46:49 +0200 (CEST)
cc: Tino Calancha <tino.calancha@gmail.com>, 42655@debbugs.gnu.org,
eggert@cs.ucla.edu, monnier@iro.umontreal.ca, uyennhi.qm@gmail.com
How about in Windows? Have you seen this bug?
No, nothing like that.