12 Jun
2023
12 Jun
'23
12:18 p.m.
On Sat Jun 10 20:59:04 2023 +0000, Esme Povirk wrote:
I don't see anywhere that events can be removed from the list (unless all events in the list are defunct). There should probably be some documentation of this if it's intentional.
Yes, it is intentional. It's easier to avoid dealing with a removal in the middle of the list by just leaving events around marked as defunct instead. I can add a comment somewhere to clarify this.