News for hackers. Stuff that matters.
Re:Renaming Coq by gnull on Friday April 09, 2021 @05:17PM (#26756294)
> [they are] being pushed to make a certain decision

Is there any evidence of this?

I can easily imagine authors making that decision voluntarily.

There are no comments on this comment yet.