drawio version: 12.7.0

Release date: Feb. 13, 2020