-
Gaël Bonithon authored
These signal handlers will only be called after the destruction of their data in rather unlikely cases, but in any case a disconnection was missing. Related to !64.
f95152bb
These signal handlers will only be called after the destruction of their data in rather unlikely cases, but in any case a disconnection was missing. Related to !64.