Hi Armin, On 8 February 2017 at 12:55, Armin Krezović <krezovic.armin at gmail.com> wrote: > Signed-off-by: Armin Krezović <krezovic.armin at gmail.com> I've pushed this one as trivially correct, thanks: To ssh://git.freedesktop.org/git/wayland/weston e6b7136..9bcf4c5 push -> master Cheers, Daniel