Skip to content
This repository has been archived by the owner on Jul 29, 2019. It is now read-only.

Fix #2914: Use option 'edges.chosen' if present in global options #2917

Merged
merged 6 commits into from
Apr 13, 2017
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants