-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 On 11/10/2015 08:11 AM, Paul Gevers wrote: > Hi Jose > > On 10-11-15 06:25, Anton Gladky wrote: >> 2015-11-10 0:15 GMT+01:00 Jose Luis Rivero >> <[email protected]>: Anyway, if gazebo is not using this >> package, it would be good to drop it from its build-depends. > > This is my opinion as well. As gazebo doesn't use player, please > just remove the dependency. 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. >
Your options seems reasonable to me. I've made the changes needed in the gazebo git and update the changelog. Anton, feel free to go ahead with the upload please. - -- Jose Luis Rivero <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQEcBAEBCgAGBQJWQh03AAoJEF6UbAkK/wQnLK4IALrnk9anKGuA5CC2rmGlrVLv y/nGDW3Wn3bGZo4BxBGBF4YnVGwlJUDWQaEIUuN89A+zCOviktINnaiLpk2N3wcf dTb2iuFEcB18YO5LYW7w1bS3kR/uUDEgnWuRrExs+hpaCjQGxKULbopTGm+LH6sw a+uQwdTWaJVblucVIS6J05h6Rmg4Uy+LJu3wZkrt/sq4Cbk56SDN98Jw+XWwhWHn fg1mwlcJ19hDdE8J7sgbPWFduRa0XWu0S7ShyG6/gsTaUmp0YCVWIaY/qGURkkRa bbUB20krdTMZt9FowXsFu3y1sOpOcLCN9Gp0+e7rBxkFDkJfTQe63dVnBy+TKH4= =KRNv -----END PGP SIGNATURE-----
