drawio version: 10.1.2

Release date: Jan. 18, 2019