error-reporting-java 0.4.0, released 2021-03-10

March 10, 2021 · View on GitHub

Code Name: Added PlaceholderMatcher to public API

Summary

In this release we made the PlaceholderMatcher public so that it can be used in other projects.