> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: rgm@gnu.org,  32226@debbugs.gnu.org
> Date: Mon, 23 Jul 2018 11:55:09 +0200
> 
> I have tried the following patch. It still runs as expected on my
> GNU/Linux machine. Could you pls check for MS Windows?

I ran that in batch mode.  It ran for a while, and then seemed to
hang.  I interrupted it; what ended up in the log file is attached.

Let me know how can I assist you in debugging this.