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/
signature.asc
Description: PGP signature
