4 ms·

Thanks, I'll keep that in mind for next time. Is there a way to edit the title now?

• gumby 9y ago
  The HN admins do it sometimes.