texinfo rebuilds the world, so if I understand correctly, this commit
should have been push to core-updates instead of master.
What's the policy? Shall we revert it?

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