Update stable branch 12-10-stable-ee for automatic RC 12.10.0-rc20200417131002
This updates the stable branch 12-10-stable-ee for the automatically tagged RC 12.10.0-rc20200417131002. The RC will be tagged automatically when this merge request is merged.