Can the same be done for redet-doc: https://admin.fedoraproject.org/updates/F7/pending/redet-doc-8.23-2 ? I have built it for F-7 and requested a push to stable. Cheers, Debarshi -- GPG key ID: 63D4A5A7 Key server: pgp.mit.edu