Jakub Jelinek <jakub@xxxxxxxxxx> writes: > It is also in bugzilla, just not in > https://bugzilla.redhat.com/show_bug.cgi?id=730856 > but in https://bugzilla.redhat.com/show_bug.cgi?id=732857 > which has been marked as duplicate of that. There should have been a comment pointing out this important information by the person who added the duplicate. Andreas. -- Andreas Schwab, schwab@xxxxxxxxxx GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E "And now for something completely different." -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
