ptr_12.c for revision ce37f22724353fb80d6b60da530b95b8c29da35c is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.