GNOME Shell

gnome-shell:bilelmoussaoui/extensions/fix

  1. Git
  2. lp:gnome-shell
  3. bilelmoussaoui/extensions/fix
Last commit made on 2020-03-02
Get this branch:
git clone -b bilelmoussaoui/extensions/fix https://git.launchpad.net/gnome-shell

Branch merges

Branch information

Name:
bilelmoussaoui/extensions/fix
Repository:
lp:gnome-shell

Recent commits

bcc646f... by Bilal Elmoussaoui

ExtensionsPref: always convert the extension version to a string

This fixes: Wrong type number; string expected
MR: https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1060