Merge "Copy in various point releases to HISTORY"