9 Nov
2023
9 Nov
'23
8:09 p.m.
On Thu Nov 9 19:45:12 2023 +0000, Zebediah Figura wrote:
This should probably go in the union.
New field together with what? 'extern_entry' ? I don't understand what you're suggesting I'm afraid.