|
| From: | Bruno Haible |
| Subject: | Re: Fwd: bug#34220: failure to building with CompCert, patch proposed |
| Date: | Mon, 28 Jan 2019 20:50:57 +0100 |
| User-agent: | KMail/5.1.3 (Linux/4.4.0-141-generic; KDE/5.18.0; x86_64; ; ) |
Paul Eggert answered in <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34220>.
| [Prev in Thread] | Current Thread | [Next in Thread] |