There has been a new release of OpenWrt, version 19.07.4. I see in the release notes that this version includes new supported devices:
Backported support for several 4/32 devices in ath79: TP-Link TL-WR802N v1/v2, TL-WR940N v3/v4/v6, TL-WR941ND v6, TL-MR3420 v2, TL-WA701ND v1, TL-WA730RE v1, TL-WA830RE v1, TL-WA801ND v1/v3/v4, TL-WA901ND v1/v4/v5
Add new device in ath79: TP-Link TL-WR710N v2.1
Does anybody know why the Xiaomi 4A is not getting included in this stable release?