OpenUI5 version: 1.72.1

Release date: Nov. 22, 2019