E.140. Release 7.2.5

Release date: 2004-08-16

This release contains a variety of fixes from 7.2.4.

E.140.1. Migration to Version 7.2.5

A dump/restore is not required for those running 7.2.X.

E.140.2. Changes