This small release fixes a memory leak that was introduced in the last release.

Other minor changes are described in the NEWS.