Habe heute ein Update auf "Linux vdr 5.0.0-32-generic #34~18.04.2-Ubuntu SMP Thu Oct 10 10:36:02 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux" bekommen.
Den dmesg alias braucht es meines Erachtens nun nicht mehr. Obwohl es eigentlich noch nicht eingebaut sein sollte: Syslog wird mit Meldungen "dvb_frontend: dvb_frontend_get_frequency_limits: frequency interval ..." überschwemmt