If it is deleted, #15988 (Make.pl might load the wrong Make.pm) can be closed.
--
matt diephouse
http://matt.diephouse.com
No, AFAIK.
leo
Since no one has said anything to the contrary, would someone remove
it? Then I'll close the appropriate ticket.
> Since no one has said anything to the contrary, would someone remove
> it?
Done.
leo