ReVanced/revanced-manager
1
0
Fork 0
mirror of https://github.com/ReVanced/revanced-manager.git synced 2026-01-20 01:33:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: Merge branch dev to main (#1366)

Browse Source
This commit is contained in:
oSumAtrIX
2023-10-13 00:22:02 +02:00
committed by GitHub
parent 38a2fa55df 7a785a8163
commit f4994a36a3
2 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
lib/models/patch.dart
View File

@@ -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;

2
pubspec.yaml
View File

@@ -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'