On 27.02.2023 14:41, Clément Chigot wrote: > As 1fafeaac8503eea2f61c3a35f0eef183b7e7cc65, "line.s" and "Line.s" are > identical in case insensitive file systems. Thus, gas don't trigger an > input file switch. Okay (kind of obviously, given the earlier change to line.s). Jan