File series of Package gnome-shell-extension-pop-shell

0143b0b5eb14291cbd9e0b8328eeec93c4871ba9.patch
4520e7813dcbca57ff19cba68085f5d8adf4785e.patch