3.1.0 (2022-06-13) Features androidmanagement: update the API (be1cd44) regenerate index files (43ae576)