drawio version: 12.3.0

Release date: Nov. 25, 2019