mirror of
https://github.com/Divested-Mobile/DivestOS-Build.git
synced 2025-07-22 06:18:58 -04:00
15.1: Fixes, 14.1: Cleanup
This commit is contained in:
parent
7be3f8a556
commit
a914c813b0
13 changed files with 12 additions and 573 deletions
|
@ -54,8 +54,11 @@ export -f buildAll;
|
|||
|
||||
patchWorkspace() {
|
||||
source build/envsetup.sh;
|
||||
repopick 205021 206123 209030 211095; #Cherry picks
|
||||
repopick 206123 211095; #cherry picks
|
||||
repopick 209030; #fix contacts being deleted
|
||||
repopick 209188; #g3-common cherry picks
|
||||
repopick 211404 211405 211406 211407 211408 211409; #d852 cherry picks
|
||||
repopick 205021; #d855 cherry picks
|
||||
#repopick -t calendar-o;
|
||||
|
||||
source $scripts/Patch.sh;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue