Sorry for the noise -- Alan Chandler http://www.chandlerfamily.org.uk
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
I now suspect I had not logged out and back in again between updating
gnome-shell and having the error. I was therefore probably running the
earlier version of the shell at the time the error occurred.
