drawio version: 8.7.1

Release date: June 1, 2018