Hey, Brian Cameron wrote: > Padraig: > > I think "branding" patches should more clearly have "branding" in their > name. Perhaps gnome-panel-08-branding-launch.diff would be a better > name?
Yeah, we probably should. We had naming guidelines for some of the globalization patches, so it probably wouldn't hurt. This one was a little more obvious when we actually had a menu button with the words 'Launch' on it :) Glynn
