Update stable branch 13-0-stable-ee for automatic RC 13.0.0-rc20200512114055
This updates the stable branch 13-0-stable-ee for the automatically tagged RC 13.0.0-rc20200512114055. The RC will be tagged automatically when this merge request is merged.