Version 8.1.3 released on September 15 2015 Reproducible: Always
I wonder what's the use of an announcements mailing list without announcements? Anyway thanks for the report, 8.1.3 is now in tree :)