Subject: bug#25020: Finally fixed

From: Hartmut Goebel <[email-masked]>
Date: Tue, 10 Sep 2019 19:19:51 +0200

Finally fixed by by http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36919
commit 4eb69bf0d33810886ee118f38989cef696e4c868

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | [email-masked]               |
| www.crazy-compilers.com | compilers which you thought are impossible |