HDMI CEC stopped responding on Samsung TV after Aug 5 2019 update

Help and Support Raspberry Pi
4

Supposedly this issue was fixed some time ago. See

Fix: set wrong variable by flubshi · Pull Request #352 · Pulse-Eight/libcec · GitHub.

Sam