Justus Winter, le Thu 04 Dec 2014 15:39:04 +0100, a écrit : > If we now `ports_destroy_right' X, and at the same time the last send > right to X is destroyed, there's a chance that said notification is > already delivered to X.
Mmm, isn't that also true for any kind of message? Samuel
