Thanks for your help!

I submit a more detailed report to 
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58498.
-- 
Retrieve my PGP public key:

  gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC

Zihao

Attachment: signature.asc
Description: PGP signature

Reply via email to