drawio version: 12.3.4

Release date: Dec. 2, 2019