> If there are no further objections, I will commit this later today > (after another regtest), since it was already approved by Tobias. Committed as r142351.