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 05eeef1cd Cirrus CI: Add the "file" package in coverity_task 05eeef1cd9575e7d60700761ec5dfe2b6dcfa7e8