Mention fix of bug #115 in the release notes.