Regenerated for 3.72.12

[make.git] / version.c

char *version_string = "3.72.11";
\f
/*
  Local variables:
  version-control: never
  End:
 */