Hello, I'm releasing version 3.1 which contains the fix from patch 140, nothing else. - Update NEWS file for upcoming 3.1 release. - Bump NVR to 3.1. Pushed to master: f3804cd6c3e56c7c7e87de3066bab97214a564a0 4b0dee082015b45a1ee9c6ddbce60158f5e72160 -- Petr^2 Spacek