Push GNOME 3.13.90 to the devel repo OBS-URL: https://build.opensuse.org/request/show/245936 OBS-URL: https://build.opensuse.org/package/show/GNOME:Factory/polari?expand=0&rev=10