Skip to content

Replace unmaintained android-properties crate with ndk API - #213

Closed
MarijnS95 wants to merge 1 commit into
mainfrom
ndk-properties
Closed

Replace unmaintained android-properties crate with ndk API#213
MarijnS95 wants to merge 1 commit into
mainfrom
ndk-properties

Replace unmaintained `android-properties` crate with `ndk` API

d2b8af6
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Nov 15, 2025 in 2s

No new alerts in code changed by this pull request

View all branch alerts.