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