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