Code

More deterministic save / resume#1736

Code

Merged

gsantner merged 3 commits intogsantner:mastergsantner/markor:masterfrom harshad1:more_deterministic_save_v2harshad1/markor:more_deterministic_save_v2Copy head branch name to clipboardJun 5, 2022

+62-65

Commits

Commits on May 27, 2022

• Switching on every tab move

  harshad1

  committed
  bcaa044

Commits on May 31, 2022

• Merge branch 'master' into more_deterministic_save_v2

  harshad1

  authored
  da9d615

Commits on Jun 5, 2022

• Merge branch 'master' into more_deterministic_save_v2

  gsantner

  authored
  c502538