drawio version: 10.0.31

Release date: Jan. 10, 2019