git version 2.15.2 Removing .devel Removing config.h.in Removing configure HEAD is now at a8141b910 Autoconf: Update config.{guess,sub}, timestamps 2025-07-10 a8141b910c67c7b722fb56fe47e40a82764ecd73