drawio version: 11.2.5

Release date: Sept. 3, 2019