OpenUI5 version: 1.72.4

Release date: Jan. 9, 2020