madlib/madlib — pull request #137 by haradh1 (2012-05-03 18:12:18+00:00)
Title: Conditionally apply the patch for GP4.1.

It seems the current build system is able to apply the patch by
checking patch version, but in GPDB development environment,
it is not always true; the patch version is still 0 while the
header file has been fixed.