[X2Go-Dev] Processed: SSH GSSAPI: use master+slave sockets