From: "Reza Alizadeh Majd" <[email-masked]>
Date: Thu, 01 Aug 2019 20:53:53 +0430

Issue closed, since it's duplicate of: 
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36890 

-- 
Regards, 
Reza