Subject: Re:

From: Hartmut Goebel <[email-masked]>
Date: Tue, 21 Mar 2017 21:04:34 +0100

This fixes a build failure occuring since at least 2016-12-04.

This is the fixed version of the patch I sent (and retracted) yesterday
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26197

-- 
Regards
Hartmut Goebel

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