drawio version: 10.9.3

Release date: July 10, 2019