drawio version: 10.7.5

Release date: June 4, 2019