Thank you for your answer, I see the pull request has been merged 14 hours ago. Hopefully this new 19.0.2 version will find his way fast to 19.4!
Kind regards.
Is it possible to also release a 19.0.2 version for CoreElec 19.3 line ?
As I current do not dare to upgrade to 19.4rc2 with the problems I am reading about of boxes not booting any more. My wife would not like me very much when this should happen to us.