See https://gimp.org/bugs/howtos/submit-patch.html for instructions