[new release] goblint (2.7.1)

[sim642]

Static analysis framework for C

• Project page: https://goblint.in.tum.de
• Documentation: https://goblint.readthedocs.io/en/latest/

CHANGES:

• Add library function specifications for fortified inet_pton and inet_ntop (Add fortified inet functions to LibraryFunctions goblint/analyzer#1883).

[sim642]

All the opam-ci failures from #28977 (comment) and #28447 (comment) are fixed here.

[jmid]

Thanks, LGTM! 👍

[mseri]

Thanks