a8de6da
distgit-branch-unused: When another name is used, keep checking Signed-off-by: Miro Hrončok <miro@hroncok.cz>