drawio version: 12.1.3

Release date: Oct. 17, 2019