gringo-domain-fwd-decl.patch
gringo-manpages.patch
