drawio version: 13.2.5

Release date: June 17, 2020