CI: use configflags instead of CONFIGFLAGS#925

james-d-mitchell merged 1 commit into

digraphs:maindigraphs/Digraphs:mainfrom

fingolfin:mh/configflagsfingolfin/Digraphs:mh/configflagsCopy head branch name to clipboard