Re: .dlopen.notes section

Paul Eggert <[email protected]> Thu, 16 Jul 2026 18:31:00 -0700
Newsgroups gmane.comp.lib.gnulib.bugs
Organization UCLA Computer Science Department
Message-ID <[email protected]>
On 2026-07-16 16:55, Luca Boccassi wrote:
> I had already mentioned here
> https://github.com/coreutils/coreutils/pull/317#issuecomment-4944632425
> that I can send a patch for gnulib so that all of this is done in one
> place, if you wish. Do you want me to do that?

Sounds like a good way to get going. The usual way to propose a patch 
here is to use 'git format-patch' followed by 'git send-email' to 
bug-gnulib.