File 0143b0b5eb14291cbd9e0b8328eeec93c4871ba9.patch of Package gnome-shell-extension-pop-shell (Revision a2a428ecc26cdd7af9ab121b6889276d)
Currently displaying revision a2a428ecc26cdd7af9ab121b6889276d , Show latest
Currently displaying revision a2a428ecc26cdd7af9ab121b6889276d , Show latest