Julian Mutter 400f8a7333 jenkins: android: use new push-updates script

2025-10-09 21:41:45 +02:00

3.9 KiB

Raw Blame History

View Raw