Nils Winkler ec384be4be Remove echo when a dead SSH Agent PID is found ... This case can be safely ignored, no need to print a message for that. Fixes #1579		2020-05-02 14:46:05 +02:00
..
available	Remove echo when a dead SSH Agent PID is found	2020-05-02 14:46:05 +02:00