On Mon, 2011-02-28 at 12:58 +0000, Bastien Nocera wrote: > On Mon, 2011-02-28 at 13:56 +0100, Vincent Untz wrote: > > Hi, > > > > (I don't want to pick on Jon here; that's just the latest commit like > > this one) > > > > I would appreciate if patches could get posted on bugzilla for review, > > instead of being committed directly without asking maintainers. I know > > I'm not the fastest reviewer out there, but as I've told several times > > before, if you think the patch is important and doesn't get a review > > before the next release, then it's welcome to push the patch. > > > > In this case, the patch is mostly good, but the man page is wrong > > (--logout is the default behavior, but it's not mentioned and it's > > unclear what happens by default; --no-prompt doesn't do anything with > > --power-off). > > The equivalent patch made to gnome-settings-daemon/plugins/media-keys > would also be appreciated.
Which was already done. Never mind, and thanks :) _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list