0001-Switch-default-server-to-gnudb.org.patch
0002-Disable-use-SIGALRM-for-DNS-lookup-timeout.patch
0003-Encode-THANKS-file-as-UTF-8.patch
pointer-types.patch
