OpenUI5 version: 1.72.3

Release date: Dec. 17, 2019