7.1.0 (2021-11-17) Features android, native: make native API public for mixed-native use (#524) (96b8d2f)