Skip to content

Fix a number of bugs related to handling of unnamed packages#705

Merged
GerardPaligot merged 4 commits intoINRIA:masterfrom leventov:pr_705Jun 17, 2016