Dear GMP developers, I would like to submit a patch to generate and install a pkg-config file. Currently, detecting gmp is harder than it needs to be. Where should I send the patch to? Thank you, Hugh