https://wiki.postmarketos.org/wiki/Xiaomi_Redmi_Note_8_Pro_(xiaomi-begonia)
Merge details
Pipeline #200169 passed
Pipeline passed for 2748241a on master 4 years ago