git version 2.15.2
Removing .devel
HEAD is now at db71c1a7c CI: Add warning exemptions for Sun C (suncc-5.14) on Solaris 10
db71c1a7c388d4207e254809f00e31fed63c270b