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

Opt-in variant of batched updates#787

Merged
danielkcz merged 1 commit into
masterfrom
batched-updates
Apr 6, 2020
Merged

Opt-in variant of batched updates#787
danielkcz merged 1 commit into
masterfrom
batched-updates

Commits

Commits on Apr 6, 2020