Hexapod rubber tip wrong diameter #23
Description
based on the partlist provided in the README.md, the diameter of the rubber tip cover was 8mm. but the tip.step has a diameter of 9mm. I only just realized this after printing it out and will have to redesign to make it 8mm like the rubber tip. Luckily, I haven't mass printed them, so the issue was easy to fix. That aside, what should the diameter of the tip be? Does it even matter?