On Wed, 08 Jul 2015 11:28:55 +0200, Pedro Alves wrote: > typo: "further" Fixed. > OK. Checked in: 084641963dba63283bf2eca227f4f77c2598b172 7.10 branch: 91affdd27ee8e244df417686ead2b546ee1449bf Thanks, Jan