> Nick, Richard Earnshaw -- PR 7856 is an ARM bug; would one of you take > a look? Fixed. Joe, could you update your release notes accordingly? R.