On master it's 15, the release is called 19 but it's actually 15 On the GNOME Shell Extensions website it's 12
On master it's 15, the release is called 19 but it's actually 15
On the GNOME Shell Extensions website it's 12