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



Reply via email to