Portmod 2.5.0 has been released. It's not a particularly focused
release, and mostly consists of some minor fixes and improvements, but
it's long overdue as we haven't had a minor release in a while.
Full details can be found on the release page: