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