drawio version: 12.4.0

Release date: Dec. 12, 2019