[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Player removed [Was: Bug#802032: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)]



Hi Jose,

On 10-11-15 08:11, Paul Gevers wrote:
> After that, if you get the player package in
> shape in time (I won't remove the moreinfo tag on the removal request
> quickly) then you can just upload a new version of player. If it takes
> too long, we can just remove it without further ado.

Player just got removed from unstable (I didn't act, but the bug was
still open). You can reintroduce player later on, but I recommend doing
an extremely thorough review before, because there was lots to fix.

Paul

Attachment: signature.asc
Description: OpenPGP digital signature


Reply to: