A week ago, pitest released a new 1.4.1 version (https://github.com/hcoles/pitest/releases/tag/pitest-parent-1.4.1) with a fix for hcoles/pitest#499
When will pitmp upgrade the dependency and do a new release? Does it need anything more than bumping the pom.xml versions and the table on https://github.com/STAMP-project/pitmp-maven-plugin#releases ?