How useful is Player when used with post-1.9 versions of Gazebo?
Can somebody give a definitive answer as to how useful Player is when combined with any version of Gazebo that came out after 1.9? This is probably a mailing list question, but my messages kept bouncing back for the past week.