27 Nov
2023
27 Nov
'23
9:11 p.m.
On Mon Nov 27 18:43:00 2023 +0000, Nikolay Sivov wrote:
Let's just inline them here. enter_cs/leave_cs won't be used anywhere else, right?
I was thinking we might find somewhere else, but we can always add them when/if we need them. For now, I've removed them.