[Mantid Announcements] New Patch Release of Mantid: 5.1.1