Correction: it has not been merged yet ;)