News for hackers. Stuff that matters.
Re:CompCert – Formally-verified C compiler by jhauris on Sunday June 27, 2021 @08:13AM (#27650952)
> code added by others can no longer be added to the “proprietary” branch

One thing to keep in mind, if you sign over your copyright by agreeing to contribute using a Contributor License Agreement (CLA), the person or organization can take your contributions proprietary.

There are no comments on this comment yet.