Chinese Labor Day holidays (Patreon)

Due to Chinese Labor Day holidays, the next Public Beta/DEV ROMs from Xiaomi are expected to be released next week on 12th May. We have time to work on various bug fixes until then. If any issues, don't be shy to report here. Cheers.