#2282: request happy-1.18.4-4.fc12 for f12-final