|
| From: | Pádraig Brady |
| Subject: | Re: [PATCH] maint: Prefer #include <...> for gnulib substitute headers |
| Date: | Mon, 19 Feb 2024 14:19:57 +0000 |
| User-agent: | Mozilla Thunderbird |
On 18/02/2024 20:27, Collin Funk wrote:
Hello, this patch just changes some include directives for system headers guaranteed by gnulib. More information can be found on this thread: https://lists.gnu.org/archive/html/bug-gnulib/2024-02/msg00133.html Thanks, Collin
Pushed. Thanks, Pádraig
| [Prev in Thread] | Current Thread | [Next in Thread] |