OpenUI5 version: 1.71.11

Release date: Feb. 28, 2020