Finally fixed by by http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36919 commit 4eb69bf0d33810886ee118f38989cef696e4c868
-- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible |
