Am 01.11.2014 um 19:40 schrieb Trevor Murphy: > Whoops. I may have accidentally sent half of this email previously. > My apologies for the noise - I'm still learning git-send-email. Thanks, I've added both patches. Frank