drawio version: 10.9.4

Release date: July 11, 2019