Install devtoolset-7 for RHEL 7 derivatives#86

dra27 wants to merge 1 commit intoocurrent:masterocurrent/ocaml-dockerfile:masterfrom

dra27:multicore-rhel-7dra27/ocaml-dockerfile:multicore-rhel-7Copy head branch name to clipboard