The sound distributed version control system

Do not ask for user input if the SSH channel is already closed

Created by  pmeunier  on February 26, 2021
I6DVZEFUMGH6BFOLGBPM6J4PL5I4PAAODJYG7REXYPDHPKPBLDTAC
Change contents