Code

fix: do not re-render unless needed#7186

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/fix__do_not_re_render_unless_neededocaml/dune:ps/rr/fix__do_not_re_render_unless_neededCopy head branch name to clipboardFeb 26, 2023

+17-3

Commits

Commits on Feb 26, 2023

• fix: do not re-render unless needed

  Show description for 3bb0ada
  rgrinberg

  committed
  3bb0ada