GNOME Shell

  1. Bug #1672297
  2. Comment #64

Comment 64 for bug 1672297

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Yes, when a fix lands we will push it into 18.04 as a priority.