Re: Use the 'extern-inline' module explicitly where needed

2023-04-03 Thread Bruno Haible
Paul Eggert wrote: > Perhaps something like the attached as well? Feel free to push it. Bruno

Re: Use the 'extern-inline' module explicitly where needed

2023-04-03 Thread Paul Eggert
Thanks for doing that. Perhaps something like the attached as well?From 9fce35022cc3dfa516059062ead881bf787404a9 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 3 Apr 2023 11:30:08 -0700 Subject: [PATCH] Document extern-inline find --- ChangeLog | 5 + 1 file changed, 5 insertions(+)