News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by Volundr on Thursday April 08, 2021 @03:27PM (#26742709)
As a man, yes, yes that would indeed make me uncomfortable.
[ Parent | on HN ]

There are no comments on this comment yet.