Samuel Thibault, le ven. 07 mai 2021 15:29:49 +0200, a ecrit: > 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.
I pushed the revert, thanks! Samuel
