Nick Lai
Nick Lai
@erights This does not have an area label that is covered by our weekly tech / planning meetings. Can you assign the proper label? We cover: agd, agoric-cosmos, amm, core...
@erights needs to check, this is probably just a small amount of work, if it is not already doing what it should.