Sorry, something went terribly wrong with the CORE-ID in my head 2 times, one time in the commit comment and one time in the code! Addendum to 0.4.15-dev-663-g cd7db5df89
cd7db5df89