Prefer ale_root option when detecting roots#4993

w0rp wants to merge 1 commit intomasterdense-analysis/ale:masterfrom

codex/update-ale-to-prefer-ale_root-settingdense-analysis/ale:codex/update-ale-to-prefer-ale_root-settingCopy head branch name to clipboard