drawio version: 12.4.7

Release date: Dec. 27, 2019