On Dec 30, 2015, at 3:44 AM, Lars Magne Ingebrigtsen <larsi@gnus.org> wrote:

This was a fix for non-GnuTLS builds.