tree 8fa30e7063a4fb09b3f53fd0a5f61a82a69af42b
parent 32c0df2e9e2028f1956ee68d319e8b45904366d2
author Davide Pesavento <davidepesa@gmail.com> 1571364647 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1571417470 -0400

catchunks: simplify internal options handling

Change-Id: I537a281f6c996c2544c145ab9cc01a54272c8efa