drawio version: 12.2.3

Release date: Nov. 8, 2019