Skip to content

server: check SHELL if (and only if) neither --sh nor --csh is specified #1104

server: check SHELL if (and only if) neither --sh nor --csh is specified

server: check SHELL if (and only if) neither --sh nor --csh is specified #1104

address-sanitizer

succeeded Oct 11, 2024 in 1m 14s