Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove the kill_time timer when a process stops (fix #18888)