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 0654b6008 PPI: Use the www.tcpdump.org copy of the specification
0654b600844dbdf4c08bb8b6c0673ba48b7e57ba