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 4f9b7c438 CHANGES: Capitalise "Fletcher" because it is a surname. [skip ci]
4f9b7c43839285fd0c42b80838f726ff4b45db46