@mmarkus Hmm, OK. Is there any way how to put a single PR for the other repositories as these have been removed from the main repo? Or should I just cross-link the PR's in comments?
And is this a recommended general practice that whoever does some change in core libraries should check all cachestores hosted on github/infinispan/?