Pierre Neidhardt <m...@ambrevar.xyz> writes:
> 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? This has already been taken care of by Marius in commit 4ab97ef18fa9923f00865c2d3f79bead247aa5e3. -- Ricardo
