drawio version: 10.9.5

Release date: July 11, 2019