Ubuntu
gnome-shell package

  1. Bug #1723857
  2. Comment #32

Comment 32 for bug 1723857

Revision history for this message
Jeremy Bícha (jbicha) wrote :

>There are no Ubuntu developers assigned to GNOME bugs. This is a GNOME bug. It has nothing to do with Ubuntu. It has nothing to do with Ubuntu.

How do you expect the fix to get into Ubuntu 17.10 without Ubuntu developers?

Somebody has to follow the https://wiki.ubuntu.com/StableReleaseUpdates procedure.

Anyway, we ended up letting this bug be the master bug, but please don't "edit war" in the future.

https://en.wikipedia.org/wiki/Wikipedia:Edit_warring