Version 2.5.1 was released today. It’s a small maintenance release; find a list of fixes and changes here.