https://bugs.freedesktop.org/show_bug.cgi?id=47765
Jerome Glisse <glisse at freedesktop.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #14 from Jerome Glisse <glisse at freedesktop.org> 2012-04-05
13:37:55 PDT ---
Closing pushed
--
Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
