Added in. Thanks -bw On Dec 11, 2013, at 2:33 AM, Richard Sandiford <rsandifo at linux.vnet.ibm.com> wrote: > Hi Bill, > > Sorry it's so late, but is this patch OK for the release notes? > No worries if not... > > Thanks, > Richard > > > <release-notes.diff>