- Update to 0.13 - Port is now portlint-safe - Quality of port greatly improved
State Changed From-To: open->feedback Please submit updates in diff format.
State Changed From-To: feedback->closed obsoleted by ports/48725