On April 18, 2019, Ubuntu 19.04 alias “Disco Dingo” was released. Like each of the semi-annual upgrades of the popular Linux distribution, it comes with refreshed software packages and a new kernel (Linux 5.0.0). But it’s the standard desktop Gnome, that makes it worth updating. Already released in March, Gnome 3.32 brings a number of […]