drawio version: 12.3.7

Release date: Dec. 5, 2019