Skip to content

Regular quit needs to clean the ports too#3531

Merged
pavel-shirshov merged 1 commit intosonic-net:masterfrom
pavel-shirshov:pavelsh/fix_another_teamd_issue
Sep 27, 2019
Merged

Regular quit needs to clean the ports too#3531
pavel-shirshov merged 1 commit intosonic-net:masterfrom
pavel-shirshov:pavelsh/fix_another_teamd_issue

Commits

Commits on Sep 27, 2019