Hi everyone, https://www.heise.de/developer/meldung/Java-MicroProfile-1-3-bringt-drei-neue-APIs-3932625.html introduces MicroProfile API 1.3 - does that mean any substantial changes for us?! or is it just a replacement of a version in our pom.xml's?
Thanks, Phil
