I have submitted a patch that fixes this problem: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=57413
This is the patch that Matthieu referred to, and which he tested in a cluster environment. Cheers, Konrad
I have submitted a patch that fixes this problem: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=57413
This is the patch that Matthieu referred to, and which he tested in a cluster environment. Cheers, Konrad