CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/08/03 15:40:00
Modified files:
lang/compcert : Makefile
Log message:
take maintainer
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Pavel Korovin
- CVS: cvs.openbsd.org: ports Pavel Korovin
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Daniel Dickman
- CVS: cvs.openbsd.org: ports Daniel Dickman
- CVS: cvs.openbsd.org: ports Kevin Lo
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Theo Buehler
- CVS: cvs.openbsd.org: ports Lucas Raab
- CVS: cvs.openbsd.org: ports Matthieu Herrb
