drawio version: 12.5.4

Release date: Jan. 15, 2020