drawio version: 12.4.2

Release date: Dec. 14, 2019