drawio version: 12.5.2

Release date: Jan. 14, 2020