0-debian-gbp.patch
# Other than the gpp.conf,
# No patchs are needed for 4.1.0.  Thus, it's empty now.
