The summary of the API changes between artifacts org.revapi:revapi:jar:0.13.1 and org.revapi:revapi:jar:0.13.2.