--- embedtools/configure.in	2017/06/28 15:21:13	1.12.2.1
+++ embedtools/configure.in	2017/06/29 08:29:46	1.13
@@ -1,6 +1,6 @@
 #
 # $Author: misho $
-# $Id: configure.in,v 1.12.2.1 2017/06/28 15:21:13 misho Exp $
+# $Id: configure.in,v 1.13 2017/06/29 08:29:46 misho Exp $
 #
 AC_INIT(embedtools, 2.8, misho@elwix.org)
 AC_CONFIG_SRCDIR([src/cfexec.c])