Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
fix: marking invalid ports as deleted in discovery #6665
There seem to be other issues in this file, such as $ports_l is never defined...
DO NOT DELETE THIS TEXT
If you would like to test this pull request then please run: