3 Jun
2024
3 Jun
'24
10:52 a.m.
Uhmm... sorry gmail has just been clobbering all email from gitlab for a while until recently. I didn't really see this in time but it seems they're not doing that anymore.
I can't seem to wrap my head around how this table is growing and if it is growing correctly. However, since no-one else seems to be in doubt, I will just close this, at least for now.