- Update to version 0.9.3+git20171220.6e9e95d:
* device-manager: drop superfluous
create_pixel_displays_for_renderer call
* x11: don't call gdk_display_get_name before gtk_init
- Update to version 0.9.3+git20171220.6e9e95d:
* device-manager: drop superfluous
create_pixel_displays_for_renderer call
* x11: don't call gdk_display_get_name before gtk_init
@qzhao: review reminder