Use distvname instead of dist not to check distributions with different versions#562

andk merged 1 commit intoandk:masterandk/pause:masterfrom

charsbar:use_distvnamecharsbar/pause:use_distvnameCopy head branch name to clipboard