drawio version: 10.9.8

Release date: July 16, 2019