drawio version: 10.9.2

Release date: July 9, 2019