OpenUI5 version: 1.71.2

Release date: Nov. 14, 2019