Skip to content
This repository has been archived by the owner on Dec 31, 2020. It is now read-only.

Opt-in variant of batched updates #214

Merged
merged 5 commits into from
Oct 15, 2019
Merged

Opt-in variant of batched updates #214

merged 5 commits into from
Oct 15, 2019

Commits on Oct 15, 2019

  1. Configuration menu
    Copy the full SHA
    378533c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6efdd0d View commit details
    Browse the repository at this point in the history
  3. Document optimizeScheduler

    danielkcz committed Oct 15, 2019
    Configuration menu
    Copy the full SHA
    4c367cb View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b984934 View commit details
    Browse the repository at this point in the history
  5. Fix type declaration

    danielkcz committed Oct 15, 2019
    Configuration menu
    Copy the full SHA
    d300e58 View commit details
    Browse the repository at this point in the history