mma: fix a couple of todos related to changes#157930
Merged
craig[bot] merged 1 commit intocockroachdb:masterfrom Nov 17, 2025
Merged
mma: fix a couple of todos related to changes#157930craig[bot] merged 1 commit intocockroachdb:masterfrom
craig[bot] merged 1 commit intocockroachdb:masterfrom