Mentions légales du service

Skip to content
Eliding mergeinfo from 'doc/texinfo.tex' (as done after a
"svn merge -c -12102 .", though this was an unrelated commit).

[[Tag from zero-fileop commit at Subversion r12104]]

[From SVN r12104]