Ticket #15309 (closed defect: fixed)
ports.php only has 1082 out of 4707 ports
|Reported by:||jmr@…||Owned by:||rhwood@…|
#15308 mentioned that grep is missing from the list, and behold, so are the majority of the other ports.
Note: See TracTickets for help on using tickets.