Merge pull request #1833 from johncantrell97/2022-11-rgs-handle-removed-channel
authorArik <arik-so@users.noreply.github.com>
Tue, 8 Nov 2022 19:55:48 +0000 (11:55 -0800)
committerGitHub <noreply@github.com>
Tue, 8 Nov 2022 19:55:48 +0000 (11:55 -0800)
Ignore RGS channel updates for unknown channels


Trivial merge