22:41DavidHeidelberg: adavy: did you intentionally removed the typos fixes from the "A few gallium nine fixes "?
22:42DavidHeidelberg: 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