index-mail-headers.c for revision 80cdfe47daf6129410bafcecbe5c9faf09f2721b is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.