drawio version: 12.2.9

Release date: Nov. 21, 2019