drawio version: 12.9.8

Release date: April 5, 2020