Dear, This bug seems fixed by a1a8b7f2e20513a3ad968e74e7ec52546404e3c6 as explained here [1].
Any objection to close it? Or new information blocking the closing? [1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25476#29 Thank you in advance. All the best, simon
