Skip to content

Fix pruner subselections

Andrey Popov requested to merge issue-39 into master

This fixes #39 (closed). Cherry picked from commit 24ce4d42 from the parent repository.

Merge request reports