As far as I can tell from
  https://debbugs.gnu.org/cgi/bugreport.cgi?bug=7860
there is nothing left to do here. Please update if incorrect.
Closing via bcc. --karl



Reply via email to