On 29 July 2015 at 23:11, Ben Pye <ben at curlybracket.co.uk> wrote: > 4.8.4, again packaged from Ubuntu 14.04 LTS, not sure if they include any > patches that'd change this behaviour. This should be similar to 4.8.2 that I have, so no worries there. cheers, --renato