OpenUI5 version: 1.71.13

Release date: March 31, 2020