Re: Fwd: bug#34220: failure to building with CompCert, patch proposed

2019-01-28 Thread Bruno Haible
Paul Eggert answered in .

Fwd: bug#34220: failure to building with CompCert, patch proposed

2019-01-27 Thread Pádraig Brady
Forwarded Message Subject: bug#34220: failure to building with CompCert, patch proposed Resent-Date: Sun, 27 Jan 2019 16:58:02 + Resent-From: DAVID MONNIAUX Resent-CC: bug-coreut...@gnu.org Date: Sun, 27 Jan 2019 16:53:27 +0100 (CET) From: DAVID MONNIAUX To: 34...@debbug