Re: Checking the ABI of packages submitted to the updates-testing Fedora repository