drawio version: 10.0.12

Release date: Dec. 28, 2018