Mergeback rc/1.24 -> master#3512

Merged

hvitved merged 13 commits intogithub:masterfrom

jbj:mergeback-2020-05-19

May 19, 2020

Commits on May 12, 2020

Commits on May 14, 2020

Commits on May 19, 2020

Merge pull request #3501 from jbj/dispatch-global-union
alexet
authored
Merge remote-tracking branch 'upstream/rc/1.24' into mergeback-2020-05-19
jbj
committed
Merge remote-tracking branch 'upstream/master' into mergeback-2020-05-19
jbj
committed