The Weekly update 9.4.12 has been officially released for Redmi Note 5 / Note 5 Pro (codename is whyred). Before updating, please make sure you have downloaded the exact ROM matching your Xiaomi phone/tablet. In Fastboot mode, you can check model code by typing fastboot getvar product in cmd/shell.
The firmware files posted here are all official Xiaomi MIUI or HyperOS ROM, xiaomiROM.com do not own and never modified those firmwares，you will always download the file from Xiaomi server.
You may interest in those contents: Redmi Note 5 / Note 5 Pro ROM Topics Xiaomi Devices Index
Download Redmi note 5 (whyred) China MIUI 10 9.4.12 Recovery ROM with Android 9.0. Firmware size is 2.0 GB.
Download Redmi note 5 / note 5 pro (whyred) Global MIUI 10 9.4.12 Recovery ROM with Android 9.0. Firmware size is 2.0 GB.
Download Redmi note 5 / note 5 pro (whyred) Global MIUI 10 9.4.12 Fastboot ROM with Android 9.0. Firmware size is 2.6 GB.