tree 5d8a12ea5a6e12f960aa1cc3108a3bf927529002
parent a4488671e30a2c1617b86190860b0dfd1afeb488
parent 4aef45206a7bcd041c6a815cae1cf385b327d882
author Steve Golton <stevegolton@google.com> 1702488085 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1702488085 +0000

Merge "[ui] Add a simple plugins management page." into main