Tobias Brunner d67a5b0c4d android: Use the default scheduler for short-term events ... Using AlarmManager has quite some overhead, so we use our regular scheduler for events that are to be executed in the near future.		2020-06-02 14:07:06 +02:00
..
src	android: Use the default scheduler for short-term events	2020-06-02 14:07:06 +02:00
build.gradle	android: New version after fixing fetching via HTTP on Android 9	2019-11-19 14:44:39 +01:00