I've an up-to-date Ubuntu installation. Also:
~:: ps `pgrep gnome-shell` PID TTY STAT TIME COMMAND 1618 tty2 Sl+ 5:48 /usr/bin/gnome-shell 1674 ? Sl 0:00 /usr/lib/gnome-shell/gnome-shell-calendar-server ~:: which gnome-shell /usr/bin/gnome-shell ~:: gnome-shell --version GNOME Shell 3.32.1 Please tell me if you need more info. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1842776 Title: Mismatch between package version (3.32.2) and packaged version (3.32.1) Status in gnome-shell package in Ubuntu: New Bug description: Simply: ~:: gnome-shell --version GNOME Shell 3.32.1 ~:: apt info gnome-shell Package: gnome-shell Version: 3.32.2-2ubuntu1~ubuntu19.04.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1842776/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
