pull-ui-20160610-1

Gerd Hoffmann

@kraxel.rh

1185fde4 · console: ignore ui_info updates which don't actually update something · Jun 10, 2016

ui: misc bug fixes.