On Sat, 20 Nov 2021 at 13:05, Luboš Luňák <[email protected]> wrote:
> > But first I'd check if this isn't the recent cygwin problem that was > causing > make getting stuck. > > possibly we should add a configure check for that, it is biting several people
