May I ask, if this is indeed the 'top gnome-shell crash in 18.04' wouldn't it be good to backport the patch because its still a supported release? The machine is on the latest patch level for 18.04.
I don't mind too much because I probably upgrade to 20.04 soon. However, this bug (which only seems to affect one of my machines?) is quite an impediment when needing to switch keyboard layouts. During a normal work day there is a high chance of needing to do a hard reset to get back to normal.
May I ask, if this is indeed the 'top gnome-shell crash in 18.04' wouldn't it be good to backport the patch because its still a supported release? The machine is on the latest patch level for 18.04.
I don't mind too much because I probably upgrade to 20.04 soon. However, this bug (which only seems to affect one of my machines?) is quite an impediment when needing to switch keyboard layouts. During a normal work day there is a high chance of needing to do a hard reset to get back to normal.