drawio version: 12.1.4

Release date: Oct. 23, 2019