Tobias Brunner 71b0c031c2 android: Slightly increase NDK version ...

This version was installed in the base image until Aug 1st (the other we
installed was not actually used for a while).

2022-08-18 09:42:34 +02:00

..

actions/default

github: Fix installation of Python dependencies

2021-05-05 18:08:20 +02:00

ISSUE_TEMPLATE

github: Update automatic labels in issue templates

2022-05-06 13:12:21 +02:00

workflows

android: Slightly increase NDK version

2022-08-18 09:42:34 +02:00