drawio version: 12.1.0

Release date: Oct. 9, 2019