On 03/03/16 11:14, Gerald Pfeifer wrote:
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, I'll keep it in mind. Kyrill
Thanks, Gerald