I came to make a comparison between the ROS IRC channel and Mars (been there forever, may have had life once, now populated by bots). But I checked the channel first and discovered, much to my amazement, that it’s actually been fairly active recently!
3 Likes