--- embedtools/configure.in	2014/02/08 20:58:41	1.11.2.1
+++ embedtools/configure.in	2017/06/28 15:19:31	1.12
@@ -1,6 +1,6 @@
 #
 # $Author: misho $
-# $Id: configure.in,v 1.11.2.1 2014/02/08 20:58:41 misho Exp $
+# $Id: configure.in,v 1.12 2017/06/28 15:19:31 misho Exp $
 #
 AC_INIT(embedtools, 2.7, misho@elwix.org)
 AC_CONFIG_SRCDIR([src/cfexec.c])