drawio version: 13.1.2

Release date: May 15, 2020