Marmalade package format#6

asymmetric wants to merge 2 commits intoruntimeverification:masterruntimeverification/k-editor-support:masterfrom

asymmetric:melpaasymmetric/k-editor-support:melpaCopy head branch name to clipboard