On Fri, Dec 28, 2012 at 08:49:23PM +0000, David Holland wrote: > The following packages were proposed for removal back at 2012Q3 branch > time, or in a couple cases earlier. Should I go ahead and remove them > now or wait until after branching? Remove them now. Thanks, Thomas