drawio version: 13.4.6

Release date: July 17, 2020