Fixes #9862: "Remove references to gcc-mingw"
Merge branch 'master' into no-const_cast
Merge branch 'master' into augmented-bstree-pullreq
Merge branch 'augmented-bstree-pullreq' into merge-mods
Merge branch 'no-const_cast' into merge-mods