The lighweight tag 'DEVEL' was deleted. It previously pointed to:
cdb3ffe... This commit was manufactured by cvs2git to create tag 'DEVE _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
