drawio version: 13.1.7

Release date: May 29, 2020