git version 2.15.2
Removing .devel
Removing config.h.in
Removing configure
From https://git.tcpdump.org/tcpdump
 * branch                master     -> FETCH_HEAD
HEAD is now at c3da8e911 List all recent contributors in CREDITS. [skip ci]
c3da8e911a02295360e4499446cd53cbf7604ce7