drawio version: 12.5.5

Release date: Jan. 16, 2020