My vero4k+ is connected to a tvheadend server (via network). Up till now it was playing fine but since the July update Kodi or OSMC crashes when switching channels. Not every time, but after three or four switches it goes- especially when switching from an SD channel to an HD channel. Sometimes the vero survives the switch, but rather sooner than later the sad face and the restart come.
The tvheadend server is totally unimpressed and keeps running
The debug log is here: https://paste.osmc.tv/udepaduzuz
Maybe someone can find the cause for the restarts.