Forward port !707 into master (!712) · Merge requests · acts / acts-core · GitLab

This is an archived project. Repository and other project resources are read-only.

Paul Gessinger-Befurt requested to merge develop/v0.11.X into master Nov 26, 2019

This MR ports changes from !707 (merged) into master.