drawio version: 13.1.11

Release date: May 31, 2020