drawio version: 10.7.4

Release date: June 3, 2019