GnuTLS 3.1.9 was released. This is bug fix release on the current stable branch.