[releng] Issue #7346: Can't push to stable, dist.rpmdeplint false positive