On 06/29/2015 04:18 PM, Martin Basti wrote: > On 16/06/15 11:42, Ludwig Krispenz wrote: >> This patch addresses coverity issues 13290 and 13291 >> >> > ACK > > > Pushed to master: 5e92c981b0e433ee28b953d222a1b531b525ff1c -- Petr Vobornik