Commit ee10c29e authored by Ralf Jung's avatar Ralf Jung
Browse files

honor COQBIN

parent 327ba441
Pipeline #6370 canceled with stages