drawio version: 12.7.3

Release date: Feb. 21, 2020