drawio version: 12.2.4

Release date: Nov. 12, 2019