Re: The behavior of --split-debuginfo option in koji dist-repo