Our pull-request is merged.