drawio version: 12.3.2

Release date: Nov. 27, 2019