tree aa6d2e198290cefea465c2a5dbd4d035572d3c95
parent 7a8d8ecdbfd30251a99eb593ec82e1f808001e4a
parent d47849dccd927708305c5cb8e28436c09588d355
author Steve Golton <stevegolton@google.com> 1709042283 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1709042283 +0000

Merge "ui: Move aggregation tabs into details panel for area selections" into main