Skip to content

Enable enhancedColorization by default. Fix refresh race in colorization.ts#3770

Merged
Colengms merged 4 commits into
masterfrom
dev/coleng/colorization_fixes2
Jun 13, 2019
Merged

Enable enhancedColorization by default. Fix refresh race in colorization.ts#3770
Colengms merged 4 commits into
masterfrom
dev/coleng/colorization_fixes2

Commits

Commits on Jun 13, 2019