Merge remote-tracking branch 'origin/main' into main

2026-01-24 11:41:02 +00:00 · 2022-09-08 11:29:14 +02:00
parent aff4968e6f f1775f83d0
commit 002f84da1a
3 changed files with 17 additions and 3 deletions
--- a/src/main/kotlin/app/revanced/patcher/patch/PatchOption.kt
+++ b/src/main/kotlin/app/revanced/patcher/patch/PatchOption.kt
@@ -168,7 +168,7 @@ sealed class PatchOption<T>(
        }
    ) {
        init {
-            if (default !in options) {
+            if (default != null && default !in options) {
                throw IllegalStateException("Default option must be an allowed option")
            }
        }
@@ -237,4 +237,4 @@ sealed class PatchOption<T>(
            validator(it?.toFile())
        }
    )
-}
+}