Merge branch 'IndexedDomainKernel' into 'master'
Passed
Markus Holzer
created pipeline for commit
40d83d2f
, finished
For release/1.3.2
16 minutes 2 seconds, queued for 1 seconds