The Ping Identity Directory Server version 7.2.0.0 has been released, including a number of new features, performance enhancements, and bug fixes. I wrote about the most significant changes in it on my personal blog.