File gnome-shell-reload-specials-when-xdg-user-dirs-changes.patch of Package gnome-shell-extensions (Revision a63a448681ddd3524b21c437dc8ae112)
Currently displaying revision a63a448681ddd3524b21c437dc8ae112 , Show latest
Currently displaying revision a63a448681ddd3524b21c437dc8ae112 , Show latest