2017-05-05 1:32 GMT+02:00 Carl Eugen Hoyos <cehoyos at ag.or.at>: > Hi! > > It may be better to disable the warning. Ping, one of the two patches should be applied, we currently have one vote for each. Carl Eugen