Details
-
Suggestion
-
Resolution: Unresolved
-
P3: Somewhat important
-
None
-
None
Description
NDK list in Devices -> Android has a list of NDKs, but if none of them is explicitly set as the default, there is no way to know what the current NDK is then.
Maybe it could automatically keep one of them as the default without ability to unset.