Comment 8 for bug 20166

> Given that crashing shouldn't happen, and crashing does happen, I'd say "yes,
> it's a bug" :P

Right, looks like I trapped myself in there :)

> My crash happened through mounting /home over NFS, and some of the groups on the
> server weren't mirrored on the client. I'd assume that a more common thing to do
> than random config file changes, but config file editing just happens to be an
> easy way to demonstrate the problem...

I see. Anyway, this seems to be an upstream bug and probably doesn't come from
my (rewritten by Sebastien) gnome-menus Ubuntu patch, as we thought at first.