[2018-10] [runtime] Don\u0027t try (slow) dlopen on android if it doesn\u0027t exist#12513

lewurm merged 1 commit intomono:2018-10mono/mono:2018-10from

monojenkins:backport-pr-12074-to-2018-10monojenkins/mono:backport-pr-12074-to-2018-10Copy head branch name to clipboard