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

monojenkins merged 1 commit intomono:2018-12mono/mono:2018-12from

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