OpenUI5 version: 1.71.10

Release date: Feb. 7, 2020