On Mon, 2013-10-07 at 16:04 +0000, Joseph S. Myers wrote:
> I have no comments on the substance of this patch, but note that ports/ 
> has a separate ChangeLog file for each architecture.

Sorry. The attached patch now has separate ChangeLog entries for each of
the affected archs.