[Xiaomi Redmi Note 5 Pro ROMs, Kernels, Recoveries,] rahul1892:
Update 11/08/2019

* August security patch

* Latest illusion kernel

* Some NOS upstream changes

Update 06/06/2019

* June Security Patch

* Latest Derp Kernel

* Minor NOS upstream changes

Update 25/05/2019

* Implemented full gesture navbar

* SmartbarActions: Added media control

* SmartNav: new actions

* Removed aggresive battery

* MiuiCamera updated

* Latest Derp Kernel

* Minor NOS upstreams changes

Update 07/05/2019

* May Security Patch

* Aggressive Battery

* Latest derp kernel

* Minor NOS upstreams changes

Update 06/04/2019

* April Security Patch

* Launcher3 : Restricted the ability to resize widgets when desktop is locked

* Launcher3: Dark Google feed support

* Launcher3: Fixed some glitches when toggling options in launcher settings

* Expanded volume panel

* OP gestures: fix APP switch triggering

* Weather Client improvements

* Theme colors minor improvements and fixes

* Some system animation related fixes

* Latest Derp Kernel

* Fixed adb enabled on boot even if disabled

* NOS Upstream and Minor Improvements

Update 07/03/2019

* March Security Patch

* Permissive Build

* Fixed ADB being disabled after reboot

* Latest Derp Kernel

* NOS Upstream and Minor Improvements

Update 10/02/2019

* Fixed WiFi not turning on for a few

* Fixed WiFi and hotspot not turning simultaneously for a few

* Fixed sdcard issue faced by few

Update 07/02/2019

* February Security Patch

* SELinux Enforcing

* Increased Number of Notification Icon

* Fixed WiFi Display

* Compiled with Clang 8.0.8

* Latest Derp Kernel

* NOS Upstream and Minor Improvements

Update 27/01/2019

* DownloadProvider: Fixed a bug where download content was deleted if download folder was renamed

* DownloadProvider: Allow more redirects

* DownloadProvider: Stop download from sites with invalid certificate

* Launcher3: Add more options for icon sizes

* Launcher3: Fix hide apps menu glitches

* Launcher3: Hide apps activity improvements

* Launcher3: Add updated Google Feed lib from Pixel 3 launcher

* NetworkTraffic: Replace arrows drawable with unicode symbols

* NetworkTraffic: Fix speed unit (We have B, KB, MB per second)

* Settings: Allow sorting applications by size

* Improve app info screen

* Fix a crash when launching app detail for bad package name

* Update backuptool from LineageOS

* Define Google Assistant as default assist app

* Grant Google sounds picker storage permissions

* Add support for the .opus file format (simply add the file extension as a type of Ogg file, which it is)

* Fix disappearing home/recents button on navigation bar

* Fixed min frequency bug

* F2FS support

* Blobs updated

* Latest derp kernel

* NOS upstreams and minor improvements

Update 16/01/2019

* NetworkTraffic: Fixed indicator not hiding on lost connection

* Launcher3: Add Google search double tap screen off option

* Launcher3: Recent cards rounded corners

* SmartNav: Update smartbar home drawables (use one from MIUI)

* Fixed not able to disable shutter sound

* Fixed network icon disappearing when network is manually selected

* Latest Derp kernel

* NOS upstreams and minor improvements

Update 25/12/2018

* Added Manual SIM Provisioning (Enable/disable SIM)

* Added Ability to pause/resume in default download manager

* Added Tweaks for OP gestures

* Added Airtel Volte support

* Fixed lag in WhatsApp video calling

* Blobs updated

* Added missing qdcm configuration for huaxing panel

* Derp kernel upstreamed

* Upstream from NOS

Update 19/12/2018

* New boot animation

* Added OTA support

* Derp Kernel upstreamed

* Compiled with clang 8.0.6

Update 17/12/2018

* Brightness slider toggles

* Increasing ringtone

* Ringtone settings for multiSIM

* Fixes for network traffic indicator

* Call recording (must use the default dialer)

* Show internal storage by default in Files

* Disable mobile data always active by default

* Latest derp kernel

* Dual SIM data issue fixed

* Included MIUI Camera

* Included FM