drawio version: 12.2.8

Release date: Nov. 21, 2019