[announce] Release Notes: OTRS Help Desk 3.1.2