drawio version: 12.9.4

Release date: March 29, 2020