What is this 'pint' term? I thought it was a typo of 'pin' but you used it twice... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		topspin on Oct 6, 2018 \| parent \| context \| favorite \| on: NixOS 18.09 Jellyfish Released What is this 'pint' term? I thought it was a typo of 'pin' but you used it twice.

kiloreux on Oct 6, 2018 [–]

It was just a typo twice. Sorry for the confusion.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact