On Sun, Jan 23, 2011 at 12:59 PM, Jeremy Leibs <leibs@willowgarage.com> wrote:
> On Sun, Jan 23, 2011 at 10:54 AM, Jack O'Quin <jack.oquin@gmail.com> wrote:

>> Will rosinstall be updated to use similar names?
>>
>
> rosinstall was actually updated first and then the debs were updated to match.

So, the reason my installs still have the old name is because they
were originally installed before this change? Updating them does not
seem to have any effect.
-- 
 joq