On 6/12/24 1:24 AM, David Hildenbrand wrote:...
On 11.06.24 22:54, John Hubbard wrote:
On 6/11/24 2:36 AM, David Hildenbrand wrote:
On 08.06.24 04:10, John Hubbard wrote:
You remembered correctly, but the situation is slighly muddier than
one would prefer. :)
Absolutely, and I appreciate that you are trying to improve the situation.
I think the attempts to further tease apart the include headers could
go into a separate, subsequent series, yes? And let this one go in
unmolested for now?