drawio version: 12.1.9

Release date: Oct. 30, 2019