drawio version: 10.1.7

Release date: Feb. 4, 2019