Sorry, my email this morning meant "core-updates", as per the other
comments in this thread!

So should I merge on core-updates then?

-- 
Pierre Neidhardt
https://ambrevar.xyz/