Omit the branch name when matching packages in manifest.json#131

anvacaru merged 2 commits intomasterruntimeverification/kup:masterfrom

anvacaru/list_kontrolruntimeverification/kup:anvacaru/list_kontrolCopy head branch name to clipboard