#31 Have a "restart" option in the dock

gSTM
open
nobody
5
2008-10-18
2008-10-18
Ryan Niebur
No

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!

Discussion