drawio version: 10.2.5

Release date: Feb. 20, 2019