drawio version: 12.2.2

Release date: Nov. 6, 2019