tree de83dbbb4bf961f1134db36224e935c00570240e
parent 056c1a6db0be071d65f35c29c7c5f27e9607654e
parent 4202a0ba7235bec93a60f527962cab947beb7a80
author Ben Rohlfs <brohlfs@google.com> 1670510848 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1670510848 +0000

Merge "Remove obsolete code from gr-diff-selection"