https://bugs.freedesktop.org/show_bug.cgi?id=98025

Marek Olšák <maraeo@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Marek Olšák <maraeo@gmail.com> ---
Pushed as e33f31d61f5e9019f8b0bac0378dfb8fd1147421. Thanks for the patch.
Closing.

-- 
You are receiving this mail because:
You are the assignee for the bug.