drawio version: 12.6.7

Release date: Feb. 10, 2020