Merge branch 'edge'

3 jobs for petri-nets-2019-review in 1 minute and 55 seconds (queued for 1 second)
latest
Status Name Job ID Coverage
  Deps
passed npm-install #39842

00:00:53

 
  Build
passed docs #39844

00:00:29

passed webpack-build #39843

00:01:01