git version 2.15.2
Removing .devel
Removing config.h.in
Removing configure
HEAD is now at 23def10b dlpi: fix an error in a previous commit.
23def10b5f04007729e012d848bca3e9f01eb7df