v1.25.0-dev.11

1.25.0-dev.11 (2026-08-01)

Bug Fixes

• Reopen the file picker after it was closed without picking (063093d)

Features

• Add APK export and hide install once an app is installed (6bbfc07)
• Offer to find the right APK from the batch queue (375da51)
• Warn when a patch source needs a newer version of the manager (e4d649b)