Merge release into master#1572

Merged

vmutafov merged 3 commits intomasterfrom

vmutafov/release-into-master

Jan 31, 2020

Commits on Dec 6, 2019

fix(workers): Dispose the isolate when terminating workers (#1550)
darind
committed

Commits on Dec 30, 2019

Prepare 6.3.1 patch (#1561)

authored

Commits on Jan 31, 2020

Merge remote-tracking branch 'origin/release' into vmutafov/release-into-master
vmutafov
committed