tree 104130615bc8b2aba144c27ae11b6c7858eaeedb
parent 97a33b200de7434e8c532aa12f94d520d128b87f
author Davide Pesavento <davidepesa@gmail.com> 1571601616 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1571601616 -0400

catchunks: add --no-version-discovery option

Refs: #5021
Change-Id: I37bb1f86c1a6d63ab28fbe116e75d1047c110217