#3242: Tag request pki-common-1.3.0-6.fc11 for dist-f11-override