drawio version: 13.2.0

Release date: June 9, 2020