#3343: Tag request pki-symkey-1.3.2-3.fc11 for dist-f11-override