drawio version: 12.9.6

Release date: March 31, 2020