Panel bug with gnome-session

[Nuno Ferreira <nmrf rnl ist utl pt>]

I just submitted a bug about this subject to the bug list. Look there for
more info. In short, panel doesn't save preferences when using
gnome-session. 
Just remebered that I forgot this. It generates a core.
[nmrf@rcu133 nmrf]$ gdb /usr/local/gnome/bin/panel core
Core was generated by `panel --discard-session 11c1889a85000090137843700000040140003'.
Program terminated with signal 6, Aborted.
#0  0x403e46e1 in kill ()
#1  0x403e450f in gsignal ()
#2  0x403e572f in abort ()
#3  0x402e0988 in gdk_signal (sig_num=1)
    at ../../../work/cvs-remoto/gnome/gtk+/gdk/gdk.c:3328
#4  <signal handler called>
#5  0xc3005fff in ?? ()
#6  0x4033cca7 in   ()
#7  0x4033d714 in   ()
#8  0x40325a5f in   ()
#9  0x40325892 in   ()
 .....
-- 
Nuno Ferreira
nmrf@rnl.ist.utl.pt