Documentation / RelNotes / 1.7.11.1.txton commit Merge branch 'es/grep-require-name-when-needed' (ac97dc4)
   1Git v1.7.11.1 Release Notes
   2===========================
   3
   4Fixes since v1.7.11
   5-------------------
   6
   7 * The cross links in the HTML version of manual pages were broken.
   8
   9Also contains minor typofixes and documentation updates.