Hacker News new | ask | show | jobs
by ahepp 76 days ago
San Jacinto is 10,834 ft, for what it's worth.