The Ping Identity Directory Server version 7.3.0.1 has been released. Because of an unfortunate glitch in the way that the documentation was generated for this version, updated release notes are not available on the website but are included with the product download. However, you can find a list of the included changes on my personal blog.