drawio version: 12.1.7

Release date: Oct. 25, 2019