tree 20bedf427142112eeb5467c6154c1be1c6d08df1
parent db8ab06674ae40f0ea4914e86ae70dfadcd84b8d
parent 4bd51f197655de7b5305479159c5afa3f032cff7
author Steve Golton <stevegolton@google.com> 1731936050 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1731936050 +0000

Merge "ui: Switch to a more "OO" implementation for `Dataset`" into main