PR that introduced the Heartbleed bug