drawio version: 13.2.2

Release date: June 11, 2020