Subject: bug#13435: Please don't kill DJGPP support...

From: DJ Delorie <[email-masked]>
Date: Tue, 5 Mar 2013 14:43:28 -0500

I won't hold you up.  Since none of my folks thought it important
enough to take the time to test it, please just back-burner it.  If
someone here needs the patch, they know where to find it.

Thanks!