drawio version: 12.1.2

Release date: Oct. 16, 2019