drawio version: 10.0.7

Release date: Dec. 21, 2018