Code

refactor: status db style tweaks#6478

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/refactor__status_db_style_tweaksocaml/dune:ps/rr/refactor__status_db_style_tweaksCopy head branch name to clipboardNov 15, 2022

+9-7

Commits

Commits on Nov 15, 2022

• refactor: status db style tweaks

  Show description for 1924897
  rgrinberg

  committed
  1924897

  Copy full SHA for 1924897