8 Nov
2023
8 Nov
'23
1:23 p.m.
On Wed Nov 8 12:51:32 2023 +0000, Huw Davies wrote:
I like simple :-) I doubt that the contention is going to be a big issue here - if it turns out to be the case we can revisit this.
I've pushed a change that does what you've suggested, let me know what you think. :)