tree f3d9ce4254ae5bcbdbdf9372f12de3920cd369e9
parent f15ede6cadf7db66a9f0f8c19de0b27e94aa53d7
author Ben Rohlfs <brohlfs@google.com> 1671551359 +0100
committer Ben Rohlfs <brohlfs@google.com> 1673290070 +0100

Remove redundant subscription

We have two identical subscriptions in gr-diff-view. Let's remove one
of them.

Release-Notes: skip
Change-Id: I48b50dcf6bee839a7b75a91b7b582b69efa3ae9f