[Commits] commit/EinsteinEOS: rhaas80: Merged in presync (pull request #5)