#31 Have a "restart" option in the dock

[Ryan Niebur]

This was reported in the debian bug tracking system, for more information see the bug report there: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=408915

Here's the patch that was submitted by the reporter: http://paulproteus.acm.jhu.edu/bug-report/2007-01-29/gstm-reb

(I haven't tested it myself; I'm just forwarding the bug to you.)

Thanks!