Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)

[Anton Gladky]

Hi Peter,

2015-11-09 20:16 GMT+01:00 Paul Gevers <elb...@debian.org>:
> Could we please agree on the way how to make Debian slightly better (I 
> propose to
> remove player).

Sure, I can prepare such an upload. Jose, are you OK with that?

Anton