On Thu, 3 Mar 2016, Kyrill Tkachov wrote:
Ok to commit?

Richi already approved, so this is only for future cases: Please do consider changes like this either as trivial (and go ahead, just posting the patch) or pre-approved by me (and go ahead, just posting the patch). As you prefer. ;-)

Thanks,
Gerald

Reply via email to