drawio version: 12.3.5

Release date: Dec. 2, 2019