OpenUI5 version: 1.72.2

Release date: Dec. 3, 2019