chore: Merge branch dev to main (ReVanced#1366)

BenjaminHalko · Oct 12, 2023 · f4994a3 · f4994a3
2 parents 38a2fa5 + 7a785a8
commit f4994a3
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/lib/models/patch.dart b/lib/models/patch.dart
@@ -12,7 +12,15 @@ class Patch {
     required this.options,
   });
 
-  factory Patch.fromJson(Map<String, dynamic> json) => _$PatchFromJson(json);
+  factory Patch.fromJson(Map<String, dynamic> json) {
+    // See: https://github.com/ReVanced/revanced-manager/issues/1364#issuecomment-1760414618
+    if (json['options'] == null) {
+      json['options'] = [];
+    }
+
+    return _$PatchFromJson(json);
+  }
+
   final String name;
   final String? description;
   final bool excluded;

diff --git a/pubspec.yaml b/pubspec.yaml
@@ -4,7 +4,7 @@ homepage: https://github.com/revanced/revanced-manager
 
 publish_to: 'none'
 
-version: 1.12.0+101200000
+version: 1.12.1+101200100
 
 environment:
   sdk: '>=3.0.0 <4.0.0'