Bump microprofile-parent from 2.12-RC1 to 2.12#711

MikeEdgar wants to merge 1 commit intomicroprofile:mainmicroprofile/microprofile-open-api:mainfrom

MikeEdgar:parent-2.12MikeEdgar/microprofile-open-api:parent-2.12Copy head branch name to clipboard