Hacker News new | ask | show | jobs
by tbrownaw 388 days ago
8mm is a bit under a third of an inch (25.4mm), so someone dropped the decimal point.