22:41 DavidHeidelberg: adavy: did you intentionally removed the typos fixes from the "A few gallium nine fixes "?
22:42 DavidHeidelberg: I would prefer to not run CI again for commit with cosmetics, but if you want to keep it separate, it's ok, just tell me