Hello, Sergey Bugaev, le ven. 07 mai 2021 15:41:17 +0300, a ecrit: > I don't think I understand the reasoning behind [1]. Perhaps I'm > missing something?
I don't see either why not deallocating it. Event if it's a dead name, we want to deallocate it, so as to free the port name. Samuel
