On Thu, Jul 09, 2020 at 10:04:23AM +0800, movead(dot)li(at)highgo(dot)ca wrote:> but be careful the new patch is in Windows format now.
That would be surprising. Why do you think that?--Michael