Thanks! I pushed the commit to my master/for-next branch, so that it'll be merged even before the next stable update.