# Fix duplicate OID registrations:
# http://bugzilla.globus.org/bugzilla/show_bug.cgi?id=7032
globus-gsi-proxy-core-oid.patch
