drawio version: 13.2.4

Release date: June 13, 2020