drawio version: 11.1.2

Release date: Aug. 5, 2019