Addressing Adam's comments in https://vanadium-review.googlesource.com/#/c/13619/

Change-Id: Ic5b4319685dec9c3ec7ddedf53109388039168b7
2 files changed
tree: 049667b014621a01137b2ee290355ee249efdc26
  1. v23/
  2. x/
  3. .gitignore
  4. AUTHORS
  5. CONTRIBUTORS
  6. LICENSE
  7. PATENTS
  8. VERSION