/* This file is automatically generated by import-gnulib.sh and simply records which version of gnulib we used. */
const char * const gnulib_version = "2007-02-24";